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