diff --git a/spec/ClemensTableau.pdf b/spec/ClemensTableau.pdf
new file mode 100644
index 000000000..8bc5e4e7b
Binary files /dev/null and b/spec/ClemensTableau.pdf differ
diff --git a/spec/LazyMemberships.pdf b/spec/LazyMemberships.pdf
new file mode 100644
index 000000000..d77f6154e
Binary files /dev/null and b/spec/LazyMemberships.pdf differ