Yes, heuristics is important and underrated in math education, especially in the US, where they place excessive faith in rote learning.

Proofs are sometimes a little unsatisfactory, the theorem is proved satisfactorily, but all the traces how you got to the proof are covered.