 As Frege put it, the propositional content on the right-hand side has been ‘re-carved’ as the identity statement on the left-hand side. One and the same thought has been presented in two very different ways. They have the same truth conditions, but different logico-grammatical forms. 