Formalism & Intuition in Software Development