Update predicates.md