Oil just went under $40