“Vaccinated” is not really a Boolean. It is a list of N vaccine types and administration dates. After all, the protection fades over time, subject to many variables.