Leibniz equivalence, which dissolves hole-type indeterminism by identifying diffeomorphic models, is...