and

, and remember the definition of implication, becomes:

"If

implies that

implies

, then