armaku

I think I have also found a problem in the PDF: in secton 5.4 (Tagging), theorem 13 (page 57), the equation for `Y2_t`: `tag` seems to be missing its first...