Right, so both the single and double-dosed are included in vaxed + recovered. That was my impression given the days to infection chart. Thanks for highlighting the relevant text.