[math-fun] Contract-tracing virus ('CTV') (was Re: Retrospective contact tracing)