Check these proposed units and counits do indeed obey the snake equations Eq. [(4.57)](https://forum.azimuthproject.org/discussion/2323/exercise-60-chapter-4#mjx-eqn-eqn.yanking).