2: while t θ do