Witnessing flows in arithmetic. - Akbar Tabatabai, Amirhossein (Mathematical Structures in Computer Science, 2024)