Jacobson's_conjecture loading ...