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