Add PDF with Annika's contributions
Include boxed versions of axioms 2 and 4