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