Guides for Machine Theory