computable predicate