First-order predicates apply to individuals; second-order predicates apply to properties. Mixing the...
This proposition has not been edited since the history system was added.