 But now the Existence of Extensions principle follows by universal generalization on the concept variable \(F\). Thus, simply by adding a term-forming operator such as \(\epsilon\) to classical logic with identity, it is provable that every concept gets correlated with an extension. Basic Law V will not only imply, but also place a condition on, this correlation.