Consider a Kripke frame with a set of worlds $W = \{w_1, w_2, w_3\}$ and the accessibility relation $R = \{(w_1, w_2), (w_2, w_3), (w_3, w_3)\}$. Let the valuation of a propositional variable $Q$ be $V(Q) = \{w_3\}$. What is the set of worlds where the modal formula \Box Q \implies Q is true?