 Before we turn to Basic Law V, it is important to mention an important fact about our representation of Frege’s system, in which we’ve introduced the term-forming operator \(\epsilon\) into second-order logic with identity. The resulting system has the following principle, which asserts that every concept has an extension, as a theorem: