Progress (Extended version) [Explicit]

I won't fold