Removed unused predicates