A few years later (in a paper published by the Royal Society in 1970, by which time Hawking had become a fellow “for distinction in science” of Gonville and Caius College, Cambridge), he and I joined forces to publish an even more powerful theorem which subsumed almost all the work in this area that had gone before.