logical progressions