Szymanski's_conjecture loading ...