Can we write the circuit that does this by first dealing with a single “match” of a spatial query that doesn’t even exist yet, then write the spatial query, and rewire the circuit to the result of the spatial query? But the main idea is that I’m taking a point as an argument, and I’m creating another point that’s offset by 1 unit to the right, and 1 unit to the top, and drawing a line between the two points. Not much is needed: user writes forward expression ( right = left + top ) user writes backward expression ( left = right - top ) this one is optional: if the user only provides a forward expression, the system can use Newton’s method / relaxation locally to calculate backwards!