Yes, you are right. But the 73% number has recently been bandied about in a silly pissing match between the UK and EU — where Ireland has reported a slightly higher percentage. So I’m guessing that ‘percentage of adult population’ is a sort of standard statistic.