Update of isPermutation