NAND implemented