Shortcut for negation.
Use the shortcut somewhere.
Added Hedberg's theorem.