Second-order logic itself invokes quantification over sets/properties, which is ontologically costly...
This proposition has not been edited since the history system was added.