That’s true for all natural sciences. That doesn’t make them mere craftsmanship.

(Not to diminish good craftsmanship, which I highly value.)

Philosophical truths, or empirical discoveries, demonstrations are not merely crafted, they are thresholds in and of themselves. The math is always separate from the theoretical leap. We may replace math eventually with a more precise system that is non-symbolic, non modeled.