≪If A=4 then A = 3." I admit that stunned me when I first came across it, in 1981, (how can 4 = 3?)≫ "If A=4 then A = 3" is a function, not an equation. Of course four cannot equal three as an equation, but you can MAKE four into three by decrementing (i.e., by invoking that function).