Finished the proof of functional completeness of NAND.