Fix errors in predicates
Add a note