Which of the following describes the relationship between the statements $S_1: P \implies Q$ and $S_2: \neg Q \implies \neg P$?