TM implemented