Should I restructure how I talk about this? I tried to ease in the concept gently. There are two different ways that people confuse the two.  I suspect that the expecting `a == b` to give a symbolic equality is the first people would encounter (e.g., `solve(x + 1 == 0)`), and that expecting mathematical equality testing is the second, but I don't actually have evidence to support this.