Bill Barr is right about Trump’s tweets