Thank you. I’ve long held that calculus, formal logic, combinatorics, etc. should be started in elementary school, separate from arithmetic. Even after stripping away the numbers and procedural knowledge, there is tremendous real world value in simply understanding many of the concepts. Plus, (and I say this half-jokingly) won’t we all be using llms to vibe-math everything that needs math-ing anyway?