Inside Functional Progressions