Ltran x , a !a AS 2 , 3 tt.