diff --git a/papers/hatra21/talk.pdf b/papers/hatra21/talk.pdf index a077cd3b..042a7a7e 100644 Binary files a/papers/hatra21/talk.pdf and b/papers/hatra21/talk.pdf differ