The PBW filtration conjecture. One has
Cherednik–Orr conjecture. Assume that \la\la\la is an antidominant weight. Then