So: Good news because some downward pressure on price is now over? or Bad news because this investor is getting out?