In the Following Proof, Which Justification Is Correct for Line

Multiple Choice

In the following proof, which justification is correct for line 3? $\begin{array}{llcc} \text { (1) \( (x) \mathrm{M} x \) } && \text {Premise } \\ \text { (2) \( \mathrm{Hi} \) } & \text { \(/ \mathrm{Hi} \cdot \mathrm{Mi}\) }& \text {Premise/Conclusion }\\ \text {(3) \( \mathrm{Mi} \) } &\\\end{array}$

A) Assumption
B) 1 Simp
C) 1 Taut
D) 1 UG
E) None of these answers are correct.