(T ^ T)
890