Stably computable relations and predicates

Re-assign community