Machine Foundations