Solve chapter Predicates.