$integral dY$ min [ Y , min $partialdiff sub X$ $integral dX$ ( WORLDBATH bath ) ]