Lehmer's_conjecture loading ...