SMS dit: Realizing rigor in the mathematics classroom