proveit.logic.booleans.implication.self_implication