What we learned from Mueller