Before revision:  On the one hand, this makes it possible to state a simple O(1/\varepsilon^2) iteration TA, each taking O(n+m) time .
After revision:  On the one hand, this makes it possible to state a simple version of the original TA .