7th Graders Complete Their First Proofs