Tagged exponential-progress