diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index aece6cae..7091b812 100644 Binary files a/papers/hatra21/hatra21.pdf and b/papers/hatra21/hatra21.pdf differ