A theory of loop permutations