Feature #4977: Add implementation of real progression
Feature #4977: Improve implementation of real progression