“…The definition of X requires the existence of the crystal base of a KR module. Despite many efforts as in [12,11,25,18,9,14,19,23,2], this existence problem is yet to be settled. For type D for instance, the crystal base has been shown to exist for W (k) l where k = 1, n − 1, n; l ∈ Z >0 in [12] and for W (k) 1 for arbitrary k in [18,14].…”