add <permutation e>, <perm e>