FIX: no need to use Klein plane to construct D, it lies on the same geodesic plane as O and B, as in the positive curvature case.