Now we get timex-timex relation for real.