import Papers

-- The paper's results: each must list no axiom beyond propext, Classical.choice and Quot.sound.
#print axioms Papers.TbsExtremeEffects.nete_identification
#print axioms Papers.TbsExtremeEffects.nete_rate
#print axioms Papers.TbsExtremeEffects.nete_dr_rate_adaptive_threshold
#print axioms Papers.TbsExtremeEffects.adaptive_hill_rate
#print axioms Papers.TbsExtremeEffects.eta_dr_rate
#print axioms Papers.TbsExtremeEffects.eta_ipw_rate
#print axioms Papers.TbsExtremeEffects.nete_ipw_rate_adaptive_threshold