Kazhdan–Lusztig_conjecture loading ...