almost done with td
moving interleave lemmas
finish td time and merge