 Prior’s article elicited a large volume of responses, many in the early-mid-1960s in the pages of Analysis. Perhaps the best of these is Belnap (1962), which responded by arguing that “meaning-in-a-language” involved more than simply supplying a connective with some introduction rule and some elimination rule: the proposed connective needed also to be able “fit in” with other aspects of the language. Furthermore, and importantly, the Int-Elim ideal required that the elimination rule was required only to “undo” the effect of the introduction rule. But the TONK-E rule obviously did very much more.