"Since formal mathematics is no more than a culturally-dependent system of aesthetics, while it may continue to be taught like Western music, there is no need to impose its consequences on K-12 children. What we need to teach children is practical mathematics... In particular, it may be worth re-examining whether one might want to teach as entirely separate subjects, from the outset, the two mathematical streams: practical mathematics and formal mathematics, with their distinct notions of number and proof."