common-up error predicate