 If, with Frege, we countenance these two different ways of ‘carving’ one and the same propositional content, then we shall require, in whatever language is rich enough to provide the two forms of expression in question, the following logical equivalence, indicated by the two-way deducibility sign ⊣⊢: 