The time-hierarchy theorem's proof relies on a universal Turing machine simulation with logarithmic ...