A digestion of the Jacobian conjecture counterexample