Change document number to N????.
[alg.is_permutation] Remove colon after \requires