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