Show alternate progress theorem formulation.