Proved a stronger (i.e. not useless) version of apply_progress.