Implication in terms of NAND/Proof 1