Implemented the methods in the predicates.clj file