Kazhdan-Lusztig conjecture