$partialdiff sub T$ [ Princeton prcp ]