Sad and shocked to hear that Conor Gearty has died. He was in my year in UCD in the 70s. I hadn’t seen him since then but I still recognized his distinctive voice on the radio.