Churniac's Move on Relevance Realization

Churniac invokes something that you saw me invoke multiple times when we talked about relevance realization. We cannot because it is combinatorially explosive derive all the implications. He agrees with Stanovich and West that the difficulty is not at the level of our performance. But he has a different move to make. This is the odd implies can.