This adds a bit of documentation about how NegativeLiterals works, including its surprises.
NegativeLiterals