@WoollyBenguin @MathsJam no, exactly the point I made! "-3" means "negate 3". Or, "additive identity minus 3".