 This equivalence will become embodied in Basic Law V. Indeed, Frege’s formulation of Basic Law V in Gg I, §20 can now be represented in our language (temporarily extended with function terms and functional application) as follows: 