 Since concepts, for Frege, are functions that always map their arguments to a truth value, we may introduce some new notation to help us represent Frege’s method of forming names of the extensions of concepts. This new notation takes advantage of our \(\lambda\)-notation for naming concepts, and so allows us to introduce a new kind of function term where Frege introduced a variable-binding operator.