Yeah, in an alternative universe RBG and Sotomayor both stepped down and got replaced under a Dem admin.