% References cited in https://agora.t9k.dev/t/198/donovan-s-conjecture-over-fields-and-complete-mixed-characteristic-dvrs