Many productive analogies in science and mathematics precede any formalized proof structure in the s...