[math-fun] Retrospective contact tracing