Predicate expressions are linguistic items; they cannot explain what makes 'a is F' true independent...
This proposition has not been edited since the history system was added.