saves progress on user predicate methods
adds more user predicate methods