predicates exercises