> failing both the applied and pure camps Yes. Neither its use nor truth. Just a bunch of stuff to learn. Much less could be covered if driven by applications

> failing both the applied and pure camps Yes. Neither its use nor truth. Just a bunch of stuff to learn. Much less could be covered if driven by applications/problems or from axioms, and the rest of the math ecosystem is built around it. So, hard to change.