Text this: Witnessing flows in arithmetic.