name XZ coordinates
variable X
variable Z
satisfying x = X/Z
