Notes for TC_machine