diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index f4c9e95f..b398b1c1 100644 Binary files a/papers/hatra21/hatra21.pdf and b/papers/hatra21/hatra21.pdf differ