spare predicate