DeMorgan to the rescue!