typo, survey, and improve DeMorgans