A user in Oxford (Jane Bamblett) has pointed out to me that the function RestrictedPerm( <perm>, <list> ) fails when <perm> is the identity. This seems undesirable to me.
Derek Holt.