'LargeFieldStep.rarity_chernoff' depends on axioms: [propext, Classical.choice, Quot.sound]
'LargeFieldStep.rarity_ennreal' depends on axioms: [propext, Classical.choice, Quot.sound]
'LargeFieldStep.healing_deterministic' depends on axioms: [propext, Classical.choice, Quot.sound]
'LargeFieldStep.healing_markov' depends on axioms: [propext, Classical.choice, Quot.sound]
'LargeFieldStep.kp_threshold' depends on axioms: [propext, Classical.choice, Quot.sound]
