What happens to the 8999 remaining bitcoins? Does a server somewhere think they are allocated to a person (although it doesn't have any name attached to them), effectively taking them out of the pool forever? Or are the bitcoins forgotten and free to be mined again or allocated to somebody else?
Or is this just a question that's so bad it's not even wrong?