Four Mathematical Languages Converge on the Same Prime Machine: A Convergence Argument for the Tick-Mirror Construction | Synapse