Ω-conjecture loading ...