母集団から常に既に感染した人の数を
減らすか加えるかどうか悩みどころですね。
抗体あっても別の型に感染とか世界中でおきてるそうなので。