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