One of the other millennium problems is counting to 7.