@detritus @johncarlosbaez

Thanks for blah blah blah exxon, and bye.