2.1.1 Types of predicates