Seems like that sort of thing is becoming rarer every day. RIP Ruth and Antonin.