That's leaning into engineering, away from math. Heuristics aren't always accurate. Math history before proof is the history of delusion. Idea, heuristics, and

That's leaning into engineering, away from math. Heuristics aren't always accurate. Math history before proof is the history of delusion. Idea, heuristics, and motivation aren't nearly enough for correctness outside of a sandbox.