Def/Cyclic permutation