proveit.logic.booleans.implication.to_contraposition
proveit.logic.booleans.negation.closure
proveit.logic.booleans.disjunction.constructive_dilemma