Reminder that existence is a predicate