wrote up section outlining how predicates work