added cyclic permutation example to xExists