Verifying Progression and Correcting Regression