(a) Specify a function (or other operation) Permute which, when invoked, returns a (random, unknown) permutation. You do not need to implement this function, but it’s important to make clear how you represent permutations (or their properties) in your specification/modelling of Permute. 