Poincaré disk · triangle angle sum < 180° · infinitely many parallel lines through a point · runs locally