Our idea is that a mathematical formula,  like Pythagoras's theorem, uses different variables to describe some kind of equality. So