[rotifer]

This reminds me of the following quote from the Preface to "Structure And Interpretation Of Classical Mechanics" by Sussman and Wisdom [1]:

    When we started we expected that using this approach to
    formulate mechanics would be easy. We quickly learned though that
    there were many things we thought we understood that we did not in
    fact understand. Our requirement that our mathematical notations be
    explicit and precise enough so that they can be interpreted
    automatically, as by a computer, is very effective in uncovering puns
    and flaws in reasoning. The resulting struggle to make the mathematics
    precise, yet clear and computationally effective, lasted far longer
    than we anticipated. We learned a great deal about both mechanics and
    computation by this process.

[1] https://archive.org/details/StructureAndInterpretationOfClas...