 Here ‘\(F\)’ is not a placeholder in a schema, but a genuine variable ranging over properties or classes (or, on some interpretations, ranging plurally over individuals). For comparisons between first-order and second-order logic, see Corcoran 1998.