... the groundwork for true understanding, and true understanding is a foolproof ... an “if” side (sufficient), a “then” side (necessary), and a way to express ... as just sufficients and necessaries, arrows and slashes, contrapositives and other seemingly-arbitrary ...