proveit.logic.booleans.unfold_is_bool
proveit.logic.booleans.negation.closure
proveit.logic.booleans.disjunction.singular_constructive_dilemma