Progression in Reasoning