Kazhdan–Lusztig conjectures