Wuyi He

• De Morgan's Laws