Consider $x^2+3=0$. If we add $x$ to both sides to construct a new statement $x^2+x+3=x$, what type of reasoning / logic is this?
Another example would be completing the square. New students might say that the added term when completing the square "comes out of nowhere." Surely it can be done because (and forgive my elementary language) "whatever is done to one side can (and must) be done to the other," but what type of logic is the action of doing so?
Are there recommended ways of explaining this concept to K-12 math students?