A study of pupils' proof-explanations in mathematical situations · Study