Quick thoughts on Trump’s selection of William Barr as AG