name WZ coordinates
variable W
variable Z
satisfying x+y = W/Z