to permute [ permuted ; permuted ]