Sounds right, l think it would better to get rid of Rosenstein he is the one who gave Mueller the blank check and no limits as long as he can take out Trump. Maybe a different deputy AG can get Mueller under control because anyone can see Mueller is on a vendetta to destroy Trump with whatever it takes.
Doj succession after rosenstein is Brand..IIRC.