Exercise 2:  Transeq1 -> Transeq2