 These worries are of no little import, and it might be thought that some of the principles discussed above would have to be revisited accordingly—not because of their ontological import but because of their classical, bivalent presuppositions. For example, the extensionality theorem of EM, (27), says that composite things with the same proper parts are identical, but in the presence of indeterminacy this may call for qualifications. The model in Figure 9, left, depicts x and y as non-identical by virtue of their having distinct determinate parts; yet one might prefer to describe a situation of this sort as one in which the identity between x and y is itself indeterminate, owing to the partly indeterminate status of the two outer atoms. Conversely, in the model on the right x and y have the same determinate proper parts, yet again one might prefer to suspend judgment concerning their identity, owing to the indeterminate status of the middle atom. 