RIP Orrin Hatch. He was 88. :-(