Text this: Analyzing the proving activity of a group of three students