`t3` seems just a twice repetition of `t1`. Redundant?