Improving logic progress.