So now that you define X and Y above, you can probably drop "such that ... \`g(x, y, \lambda)\` and"