Rosenthein right, who started this whole fiasco, so that shouldn’t be too hard.
Rosenstein is no longer Mueller’s boss.