, p ^ T7.