The ones that we get to have significant interaction with are public domain, yes, or are changed and renamed so that I don't get sued, yes. But there have been mentions or hints sufficient to identify a number of other not-public-domain characters as Hyperions.

And I would expect Miles was one of the Hyperions. One of those who didn't make it, of course.