'MovingActivity.activity_le_moving' depends on axioms: [propext, Classical.choice, Quot.sound]
'MovingActivity.large_rem_moving' depends on axioms: [propext, Classical.choice, Quot.sound]
'MovingActivity.log_threshold' depends on axioms: [propext, Classical.choice, Quot.sound]
'MovingActivity.constant_D_fails' depends on axioms: [propext, Classical.choice, Quot.sound]
'MovingActivity.chain_moving' depends on axioms: [propext, Classical.choice, Quot.sound]
