Please don't worry Hugh. Minus, and the difference between binary a-b and unary -b is the bane of my life! It's a subtle issue in CAS when we are dealing with elementary expressions without simplification. If an example in the STACK docs would have helped you, please send me some text and I'll gladly add it.