Ben Frost Theory of Machines