(define (next-progress-states ps)
    (local [(define (some-fn p)
                (this function should make a new ps with the score of p added, the time subtracted, and p removed from the
                 unsolved problems))}
            (map some-fn (ps-unsolved ps)))