txE,t0E,t0: