Yes, we've hit 9k and it is very encouraging. It's a big milestone, and the question is can we turn it into a support line and hold it? I do think that momentum has been shifting steadily over the last few months. Bearish pullbacks have been short-lived and mostly recovered. Each new push upwards does look more solid than has been the case previously. Just a feeling with zero evidence to back it up, but I think 10k is achievable and any problem of a psychological barrier is overstated.