Removed requirement that Tmax = inf.