Permutation proof separated from code