consts nand, exor :: gate
