The Neoclassical Foundations of Progress Functions