Completed predicates chapter.