Add td2.rkt