Could you split "open" and "notoriously" into separate sufficient conditions, or should they be kept together? Meaning, instead of OpNo, could the Lawgic be: Op and No and 3+Ms → R?