proveit.logic.booleans.implication.iff_implies_right