Exercise 1:  Transeq0 -> Transeq1