No content registered for /katie/proofs/Katie.Selection.minimize_loghazard_iff_maximize_score.
/katie/proofs/Katie.Selection.minimize_loghazard_iff_maximize_score