proveit.logic.booleans.implication.modus_tollens_affirmation