 Interestingly, Tennant (2004) and May &amp; Wehmeier (2019) point out that in Gg, Frege does not, in actual fact, derive Hume’s Principle as a biconditional. Instead, he derives both directions separately without combining them or indicating that the two directions should be conceived as a biconditional. Finally, as noted on several occasions, the inconsistency in Basic Law V invalidated Frege’s derivation of Hume’s Principle. But Hume’s Principle, in and of itself, is a powerful and consistent principle.