Steve wonders about DeMorgans laws