TM checker