Pollock's_conjecture loading ...