Implication in terms of NAND/Proof 2