The Poincaré disk model of hyperbolic geometry: geodesics are circular arcs orthogonal to the boundary. Parallel lines diverge, triangles have angle sum < π.