T -> a' -> ?