. We have here a relation of three propositions which state implications. Put

implies

,

implies

, and