Logic: pass neg through quantifiers to remove double neg