diff --git a/.DS_Store b/.DS_Store
index 50b57d103a3689c563e59c5abbb1f9429b108b83..67e3bbe330d9ef61c63220ab9c7d9030e0458e11 100644
Binary files a/.DS_Store and b/.DS_Store differ
diff --git a/docs/JULY 24.pdf b/docs/JULY 24.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..6ca9916169aa57ff4456cb09877a8d39ef35802c
Binary files /dev/null and b/docs/JULY 24.pdf differ
diff --git a/docs/JULY 31.pdf b/docs/JULY 31.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..7d6d11a588f5d2ae66b4f426d4de516a0cefc098
Binary files /dev/null and b/docs/JULY 31.pdf differ
diff --git a/docs/installProvsql b/docs/installProvsql
new file mode 100644
index 0000000000000000000000000000000000000000..06f552c700ceb873ced3b14ab3cf37016e1a43ef
--- /dev/null
+++ b/docs/installProvsql
@@ -0,0 +1,10 @@
+sudo apt install postgresql postgresql-contrib
+sudo apt-get install libpq-dev
+sudo apt-get install postgresql-server-dev-all
+sudo apt-get install postgresql-common
+
+git clone https://github.com/PierreSenellart/provsql.git
+cd provsql
+make
+sudo make install
+add shared_preload_libraries = 'provsql' to /etc/postgresql/VERSION/main/postgresql.conf, then systemsctl restart postgresql