I'm going to assume that the WAS gate was a NAND...until the smoke got let out.