Remark: The clock has not been accelerated

Each tick lasts $a_n/c$, and every graph edge has physical length at most $a_n$. Junction ticks are charged even though their physical displacement is very small. The efficiency loss appears explicitly in

Thus the upper cone and the lower transport bound use the same clock.