Do Arthur Koestler and Philip Larkin share the same nationality?