In teaching symbolic logic to beginners, it is a not infrequent experience to encounter difficulties in the transition from the informal “if …, then …” construction of common discourse to its analysis in terms of material implication and its truth-table. There is no trouble with the idea that “if p, then q” must be so understood that “if p/T1, then we must have (p⊃q)T when q/T, and (P⊃q)/F when q/F. There is thus no problem in leading the explanation to the point.