Added permutation rule