Finish predicates.clj