You shouldn't need to substitute for y.