SSW^c= \ tttU ) X.