1Reeuwijk M van. From informal to formal, progressive formalization: An example on solving systems of equations [A]. In: Chick H, Stacey K, Vincent J, et al. Proceedings of the 12th International Commission on Mathematical Instruction Study Conference 'The