max $partialdiff sub Y$ $integral dX$ [ Princeton tmax ]