Corrected predicate methods