more thinking in TLE case, still don't get it all