 By way of contrast, Determinable-based MI is compatible with the Kochen-Specker theorem (and more generally, Heisenberg’s uncertainty principle), since as discussed by Bokulich (2014) and Wolff (2015), one way for a given determinable to fail to be uniquely determined is if no candidate determinate is present or instantiated, as the Kochen-Specker theorem suggests can be the case. As Wolff puts it for the case of spin value indeterminacy: 