There are those who are sad about the death of Ruth Bader Ginsburg. The Two Mikes are not among them.
