Erratum to Generating and using examples in the proving process (Educ Stud Math, (2013), 83, (323-340), 10.1007/s10649-012-9459-x) - Sandefur, J; Mason, J; Stylianides, G; Watson, A (2013)