Title: Theory of machines