more termination bug...
permutations proved, but ...
prove permutations
prove permutations