help! construct an annotated direct derivation for the symbolic argument?

Question

1. S-> (Q-> T)
2. (Q-> T)-> (S->Q)
3. S
4. T

Answer 1

1. S→(Q→T) ............ prem
2. (Q→T)→(S→Q) ... prem
3. S ......................... prem
4. T ......................... I hope this is the conclusion
5. Q→T ................... 1,3 modus ponens
6. S→Q ................... 2,5 modus ponens
7. Q ......................... 6,3 mp
8. T .......................... 5,3 mp