 Lindström and Rabinowicz (1991) constructed indeterministic contraction by giving up the assumption that epistemic entrenchment satisfies connectedness. This resulted in Grove’s sphere systems with “fallbacks” that are not linearly ordered but still all include the original belief set. Fazio and Baldi (2021) have used indeterministic contraction in an investigation of algebraic counterparts to both the AGM model and some closely related models of belief change.