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