Text this: Mathematical analysis of a thermodynamically consistent reduced model for iron corrosion.