name XXYZZ coordinates
variable X
variable XX
variable Y
variable Z
variable ZZ
satisfying x = X/Z
satisfying y = Y/ZZ
satisfying XX = X^2
satisfying ZZ = Z^2