Negation is a formal logical operation defined recursively; it applies to any well-formed expression...
This proposition has not been edited since the history system was added.