 Since conjunctive excluded middle is a theorem of classical logic, Fine proposes a compatibility semantics that bears a family resemblance to intuitionism. Fine reconstructs a pedigree by modifying Saul Kripke’s semantics for intuitionistic logic. Timothy Williamson (2020) objects that the resulting logic condemns even more innocent inferences than intuitionism. Others defend local indeterminacy by saying that there are paradigm cases of intrinsically uncertain propositions such as those opening section one. Paradigms such as the decapitation riddle concern qualitative vagueness rather than the quantitative vagueness that generates a forced march sorites argument. Kit Fine is at work on a future book that may address the worry that his account is incomplete or disjunctive.