Fixed my DeMorgan's law test