Also lemma without timex.