mayers without predicate