7.3.8 permute