Please apply DeMorgan.