<p>This proof has me questioning the implication truth table</p>