wolfram's 2,3 TM