A followup to yesterday (?)'s post. I had an idea about how to be able to recognize the normal inference, but avoiding recognizing the other one if one so wants to. I don't particularly feel like this is the right way to go, but supposing someone wants to do it.