 Now at this point, we may universally generalize on the variable \(F\) to get the following second-order Naive Comprehension Axiom for extensions, which asserts that for every concept \(F\), there is an extension which has as members all and only the objects that fall under \(F\):