← Specification - TM robot