Definition of "permutes"