We need to prove (or disprove?) that $ \square (\square (A \rightarrow \square A) \rightarrow A) \rightarrow A $ is valid in the Kripke modal frame $ F = $ iff R is transitive and reflexive.
I think that more is required of R for this to be correct. Am I right?