don't you want to emit `not immunized` here?