diff -r b66578c08490 -r 8f89170bb076 Literature/logics/Tuer09.pdf Binary file Literature/logics/Tuer09.pdf has changed