add Exercise \ref{exe.perm.footrule}