I had no idea that you knew Trevor, though of course it makes sense. He and I shared a house together in Cambridge for a year, in 1989-90. He was an absolutely lovely chap; I missed him when he moved away at the end of that year and was deeply shocked when I heard he had died. It's a small world, sometimes in an unhappy way.