proveit.logic.booleans.disjunction.or_if_left
proveit.logic.booleans.disjunction.or_if_right
proveit.logic.booleans.disjunction.singular_constructive_dilemma