progression function

A Progression Condition