Frajzyngier, Z. On Segment Counting, OCP, and Heavy Segments. FO or FOr 2026, 40, 93-134.