Truth of Equations