H1+(aq) + Fe(s) ==> H2(g)