Changed examples to use predicates.