The precision in the physical construction of the proof though does help in assessing it's validity. If the insight was completely divorced from the visual representation then you may as well be doing straight up symbolic algebra.