p : ~t