Retracing Elementary Mathematics