Transforming -A + -B --> -(A + B) isn't safe for FP, thanks