$NOT est sûr à 1$