s error + predicate