Provide the reasons for the steps verifying the following argument. (Here a denotes a specific but arbitrarily chosen element from the given universe.)

Steps Reasons
(1) ˆ€x [p(x) †’ (q(x) ˆ§ r(x))]
(2) ˆ€x [p(x) ˆ§ s(x)]
(3) p(a) †’ (q(a) ˆ§ r(a))
(4) p(a) ˆ§ s(a)
(5) p(a)
(6) q(a) ˆ§ r(a)
(7) r(a)
(8) s(a)
(9) r(a) ˆ§ s(a)
(10) ˆ´ ˆ€x [r(x) ˆ§ s(x)]

Vr [P(x) (q (x) ^ r(x))] Vx Ip(x) As(x)l