 Now note that (L) itself can be analyzed, from a logical point of view. The expression ‘\(\epsilon F\)’, though constructed from a term-forming operator, is really a definite description (‘the extension of \(F\)’) and so, using Russell’s theory of descriptions, (L) can be logically analyzed as the claim: 