updated documentation
removed unused predicate