Added slides to support discussion of new predicates.