So like, the sphere double covers projective space, yea? Can you keep track, during a construction, of the way you’re exploiting the quotients of lines into points—tangencies along the line get identified— with a section of this cover, and detect when your choices “descend?” to affine constructions?