Dead branches do not return: 16-element monoid from the Jacobian counterexample
instantial.substack.com