, p ?- T->