import Examples

#print axioms Veriformatics.check_sound
#print axioms Veriformatics.check_complete
#print axioms HolmStat.mass_any_le_sum
#print axioms HolmStat.rejection_implies_small_true_null
#print axioms HolmStat.finite_holm_fwer_at_cutoff
#print axioms HolmStat.finite_holm_fwer
#print axioms HolmStat.frozen_formula_eq
#print axioms HolmStat.holm_map
#print axioms HolmStat.frozen_formula_fwer
#print axioms HolmStat.checked_reporting_fwer
#print axioms HolmStat.Examples.toy_superuniform
#print axioms HolmStat.Examples.dependent_valid_bound
#print axioms HolmStat.Examples.dependent_valid_fwer
#print axioms HolmStat.Examples.actual_dependence
#print axioms HolmStat.Examples.dependent_tight
#print axioms HolmStat.Examples.reset_family_fwer
#print axioms HolmStat.Examples.reset_family_exceeds
#print axioms HolmStat.Examples.same_model_global_fwer
#print axioms HolmStat.Examples.selected_family_fwer
#print axioms HolmStat.Examples.selected_p_invalid
#print axioms HolmStat.Examples.selected_p_not_superuniform
#print axioms HolmStat.Examples.invalid_p_fwer_one
#print axioms HolmStat.Examples.unconditional_gated_risk
#print axioms HolmStat.Examples.accepted_run_conditional_risk