Decide on Tf \to \infty semantics