(t^AS