 It should also be mentioned that scientists such as chemists and physicists also use diagrams in order to perform certain computations. Feynman diagrams, for example, are used to perform calculations in sub-atomic physics. More recently, formal diagrammatic reasoning has been developed for quantum theory (Coecke &amp; Kissinger  2017).  In Knot Theory (which has applications in physics, Kauffman  1991)  the three Reidemeister Moves are diagrammatic operations which make up a complete calculus for proving knots equivalent. Not surprisingly, Knot diagrams have attracted interest from researchers (De Toffoli &amp; Giardino  2014).  The crucial role of diagrams and diagrammatic reasoning in the abstract mathematics of category theory has also been investigated (Halimi  2012;  De Toffoli  2017).  