diff --git a/interim-18-01/invariants2.pdf b/interim-18-01/invariants2.pdf
new file mode 100644
index 0000000..6f4a673
Binary files /dev/null and b/interim-18-01/invariants2.pdf differ