generated at
programming by permutation