try to clarify unary negation a bit more