Reports that President Trump ordered the firing of special counsel Robert Mueller last June aren’t all bad news.

To be clear, if those reports are true, it’s discouraging though not surprising that Trump thought firing Mueller was appropriate. But it’s good news that someone in the president’s orbit exerted their influence to prevent him from actually pulling the trigger.