Update ProgressionSpec.js