proveit.logic.booleans.disjunction.or_if_left