Happy 100th birthday, Paul Rudolph