Comment on If civilization continues to the year 9999, is the idea to go to year 10.000, or...?