Sym.Perm.Bijection
simionSchmidt
simionSchmidt'