File:Types of progressions.mm