²The textbook has the stronger requirement that A always halts within t(|x|) steps no matter what B does. This stronger requirement seems to be difficult to satisfy if B goes into an infinite loop before A has halted and never activates A again. However, Goldreich’s remarks following Definition 4.2.3 seems to suggest that he intended a definition equivalent to ours.