... have two sufficient terms that should occur to give us ... proof starting with the original statement) the following is just ... of the last logical statement (our simplified statement) is ~B---> ... provided sentence requires that we negate one of those terms and ...