proveit.logic.booleans.implication.true_implies_true