'MarginRatioTwo.half_b2_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.half_b2_upper' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.ball_bound_value' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.ball_c022' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.ball_c04_fails_beta28' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.ball_c04' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.margin2_beta28_c022' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.margin2_c04_fform_fails' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.margin2_ker_beta28_c022' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.margin2_ker_beta54_c04' depends on axioms: [propext, Classical.choice, Quot.sound]
'MarginRatioTwo.margin2_ker_beta40_c04_fails' depends on axioms: [propext, Classical.choice, Quot.sound]
