"Sufficient conditions may be provably consistent without implying anything about the impossibility of vague cases or about tertium non datur. And it is no argument that vague concepts are not under constraint here. Formalizability is not an additional requirement over and above the coherence and extensibility of a set of beliefs."