$NOT fiasko není konzistentní