So maybe best for anyone who is holding coal stocks to go to sleep and wake up in 2018? Hopefully we won't be diluted too much in the meantime.