nullify
Safaí supports both Prop. M and L, but one may nullify the other