The ship names are pretty much the least interesting part of the Culture books.