“…We next consider the semisimple element s. We recall that each semisimple class in G σ may be associated with a pair (J, [w]), where J is a proper subset of Π ∪ {α 0 } (determined up to conjugacy in W ), W J is the subgroup of W generated by reflections in the roots in J, and [w] = W J w is a conjugacy class representative of N W (W J )/W J , as explained in [16,21,22]. This association has the following properties: If s ∈ G σ has class associated with (J, [w]), then s lies in T ww * −1 , and if we set t = s g ww * −1 ∈ T 0 , then …”