p : T !