permutability

not defined yet