3.5.1. Regular negation