More succinct permute.