diff --git a/Theory_CFG_CIPSI.pdf b/Theory_CFG_CIPSI.pdf
new file mode 100644
index 00000000..6b605de5
Binary files /dev/null and b/Theory_CFG_CIPSI.pdf differ