Sociomathematical scaffolding as students engage in revising draft definitions, conjectures, and proofs