As an aside, methane leaks from coal mines can be worse than upstream leaks from O&G.