%28x%2By%29%2F2 %21%3D min%28x%2C y%29