 In short, an assertion can be recognized as meaningful only if there is an effective method for determining whether it is meaningful; Church’s logistic method provides such a method by way of well-formedness. Further, since communication and conviction are at issue (as well as mere judgments of meaningfulness), one must also be able to tell which propositions have been asserted and, in particular, which ones have been proved.