The diffusion mechanism of tin into glass governed by redox reactions during the float process