Let $P$ and $Q$ be propositional variables. Consider the formula $\phi = (P \implies Q) \implies (\neg P \implies \neg Q)$. Which of the following is true?