$NOT Haussier sur $NOT