Nat: some permutations