proveit.logic.booleans.disjunction.or_if_left
proveit.logic.booleans.in_bool_if_true
proveit.logic.booleans.implication.modus_tollens_denial