Progression and Foundations