clarify motivation for unary negation choice