Renamed user_progresses to simply progresses