x^WSC / tsn>