IS : t ^ a9