 There may, of course, be further consequences of this feature of Hook’s theory which jar with intuition. That needs investigating. But, Hook may add, even if we come to the conclusion that “\(\supset\)” does not match perfectly our natural-language “if”, it comes close, and it has the virtues of simplicity and clarity. We have seen that rival theories also have counterintuitive consequences. Natural language is a fluid affair, and we cannot expect our theories to achieve better than approximate fit. Perhaps, in the interests of precision and clarity, in serious reasoning we should replace the elusive “if” with its neat, close relative, \(\supset\) .