Everyone has their price but surely Santos' is a long way north of $5.30? Why would you suffer through the pain of the last three years to sell just as green shoots are starting to emerge?