Stav dette: Realizing rigor in the mathematics classroom