FWIW, when the cease fire was announced, December oil basically didn’t budge.

Front month plummeted $20/barrel, December barely dropped