M Theory Lesson 172
$i \cdot j = k$
$j \cdot k = i$
$k \cdot i = j$
which M theorists will recognise as a three dimensional cyclic rule similar to the logic of mass operators. The braid group $B_3$ (recall that this is the fundamental group of the complement of the trefoil) is associated to this quandle, and this is our favourite group covering the modular group.
Michael Batanin pointed out that Loday had put the trefoil on the Stasheff associahedron. In M Theory we like to put knot crossings on the squares of this $3D$ polytope, because the polytope can be turned into the pair of pants with marked trivalent vertices which we put onto the Riemann sphere (which has a lot to do with the modular group) and recall that the squares end up on the real axis, where we might eventually want branch cuts that can accommodate knot crossings, just as in the Ghrist ribbon templates.
Clearly there is something very fundamental about knots here that we do not really understand. Recall that we also wanted knots on the squares (rather circle boundaries) of the pants so that we could use planar diagrams orthogonally to the Chern-Simons type knots contained in the tubes, and where we could rotate sources and targets on the circles before gluing.