3.5.2. Irregular negation