  which also involves the concept two. But despite appearances, there is no circularity, since Frege analyzes the second-order concept being a concept under which two objects fall without appealing to the concept two. He did this by defining ‘\(F\) is a concept under which two objects fall’, in purely logical terms, as any concept \(F\) that satisfies the following condition: