De Morgan 1984 04 18