pairing on this kind of stuff can be useful when it isn’t a super-fundamental breakage of the rule graph like this. but when it is, it’s effectively a bunch of munging to get more of a hint.