Powerful practices, proof, and numeracy