'Research.P4.naive_step_drift' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.naive_share_increasing' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.corrected_share_closed_form' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.corrected_share_tendsto' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.naiveShare_strictMono' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.naiveShare_tendsto_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.not_summable_shifted_harmonic' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.naiveShare_rate_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.naiveTotal_ge' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.Table.chouldechova' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.impossibility' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.true_base_rate_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.lower_bound_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.upper_bound_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.trueRate_observedRate' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.TwoSource.petersen_identity' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.TwoSource.petersen_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.petersen_lower_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.petersen_upper_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.true_rate_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.dark_figure_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.Model.exposure_adjustment' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.Model.misspecified_exposure_bias' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.Model.pooled_mean_mixture' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.gini_zero_decomposition' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.poisson_zero_prob' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.rate_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.disparity_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.disparity_sign_identified' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P6.aggregate_not_identifying' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P6.invariance_not_necessary' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.constant_dimension_not_identified' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.corner_design_identified' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.compare_decided' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.compare_undecided' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.conclusion_holds_below_breakdown' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.conclusion_fails_above_breakdown' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.Design.ht_unbiased' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.Design.ht_contrast_unbiased' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.rho_cap' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.cap_zero' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.cap_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.Urn.urn_step_martingale' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.Urn.polya_uniform' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P4.Urn.polya_no_concentration' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.Design.ht_variance' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.Design.ht_variance_estimator_unbiased' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.Mixture.mixture_zero_ge_exp_neg_mean' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.Mixture.variance_eq' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.Mixture.mixture_var_ge_mean' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.Mixture.mixture_var_eq_mean_iff' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.petersen_ge_floor' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.chapman_ge_floor' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.three_list_saturated_fits' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.missing_cell_unconstrained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.offset_shift' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.disparity_ratio_shift' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.benchmark_product' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.benchmark_not_additive' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P9.total_invariant_of_colStochastic' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P9.total_le_of_colSubstochastic' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P9.reclassification_moves_ratio' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P9.detection_rate_rises' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P10.generation_mean' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P10.cluster_size_of_lt_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P10.stationary_rate' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P10.cluster_size_diverges_of_ge_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P10.endogeneity_share' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.SYG.row_sum_zero' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.SYG.syg_eq_ht' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P3.SYG.syg_zero_of_const' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.pz_compl' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.outcome_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.lower_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.upper_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.ate_width_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.ate_contains_zero' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P12.within_orth' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P12.cov_decomp' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P12.var_decomp' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P12.var_nonneg' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P12.ecological_ge' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.log_le_S' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.S_le_log' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P7.expectedDistinct_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.clean_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.clean_lower_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.clean_upper_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.clean_width' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.clean_informative' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.mtr_lower' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.mtr_upper' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P11.Pop.mtr_upper_attained' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.rescale_pos' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.rescale_le_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.rescale_lt_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.rescale_eq_one_iff' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.reduced_coefficient' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.ratio_is_rescaling' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.or_eq_rr_mul' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.rr_between' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.or_overstates' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.rank_reversal_exists' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.rank_stable_of_gap' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.identified_scores_le' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.offence_count_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.offence_count_eq' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P1.category_not_identified' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.survivor_hazard_mono' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.hr2_gt_one_of_depletion' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P5.hr2_witness' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.certainty_monotone' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.severity_monotone' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.aggregate_monotone' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.rate_per_offender_group' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.null_slope_positive' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.dyad_ratio' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.pair_exposure_rate_constant' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.necessity_bounds' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.necessity_of_monotone' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P8.necessity_of_disjoint' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.collider_or_eq_background' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.collider_or_lt_one' depends on axioms: [propext, Classical.choice, Quot.sound]
'Research.P2.population_or_one' depends on axioms: [propext, Classical.choice, Quot.sound]
