Tax as a proportion of GDP