diff --git a/.DS_Store b/.DS_Store
index e2c7bb2..757e248 100644
Binary files a/.DS_Store and b/.DS_Store differ
diff --git a/Function_Programming/Elm, Concurrency, FRP.pdf b/Functional_Programming/Elm, Concurrency, FRP.pdf
similarity index 100%
rename from Function_Programming/Elm, Concurrency, FRP.pdf
rename to Functional_Programming/Elm, Concurrency, FRP.pdf
diff --git a/Function_Programming/Liquid Haskell.pdf b/Functional_Programming/Liquid Haskell.pdf
similarity index 100%
rename from Function_Programming/Liquid Haskell.pdf
rename to Functional_Programming/Liquid Haskell.pdf
diff --git a/Function_Programming/The Purely Functional Software Deployment Model.pdf b/Functional_Programming/The Purely Functional Software Deployment Model.pdf
similarity index 100%
rename from Function_Programming/The Purely Functional Software Deployment Model.pdf
rename to Functional_Programming/The Purely Functional Software Deployment Model.pdf
diff --git a/Function_Programming/Why FP.pdf b/Functional_Programming/Why FP.pdf
similarity index 100%
rename from Function_Programming/Why FP.pdf
rename to Functional_Programming/Why FP.pdf
diff --git a/Programming_Language_Theory/Formal Reasoning About Programs.pdf b/Programming_Language_Theory/Formal Reasoning About Programs.pdf
new file mode 100644
index 0000000..5b19648
Binary files /dev/null and b/Programming_Language_Theory/Formal Reasoning About Programs.pdf differ