Implication

• How Does a Chain of Implications Prove Conditions Equivalent?
  A chain proves several conditions equivalent when its implications connect every condition and eventually return to the starting one.