Kazhdan–Lusztig conjecture