The Nondeterministic Time Hierarchy Theorem requires that t2(n) be fully time-constructible, a condi...