T' (T1 123)
T' (T2 "OK")