 We know that there exists such a concept, since the open formula in the scope of \(\lambda x\) can be used in the Comprehension Principle for Concepts. Now by the Existence of Extensions principle, the following concept exists and is correlated with it: 