refactor print_progression