proveit.logic.booleans.unfold_is_bool_explicit
proveit.logic.booleans.disjunction.constructive_dilemma
proveit.logic.booleans.in_bool_if_true
proveit.logic.booleans.negation.negation_intro
proveit.logic.booleans.negation.closure