Theory of Machines (HTM)