The negation of the induction step entails the existence of a sharp threshold for vague predicates s...