logic and progression