The formalization of modal notions as predicates is discussed and defended. While it is widely accepted that truth is a predicate, necessity, apriority, knowledge, and so on are standardly formalized ...