role.forall(m.hasRole)