Student Use of Mathematical Content Knowledge During Proof Production