Maybe point out that `x - y` is implemented as `Add(x, Mul(-1, y))`. and similarly `x/y` is implemented as `Mul(x, Pow(y, -1))`.