Is it really called `progression` instead of `progressive`? Let me know when to merge.