diff --git a/fault_protection/README.md b/faults_and_verification/README.md
similarity index 52%
rename from fault_protection/README.md
rename to faults_and_verification/README.md
index 68b31aa..a2cc2f7 100644
--- a/fault_protection/README.md
+++ b/faults_and_verification/README.md
@@ -1,6 +1,14 @@
-# Fault Protection
+# Program Faults and Verification
 
-## External Papers
+[Fault detection](https://en.wikipedia.org/wiki/Fault_detection_and_isolation), and [program validation](https://en.wikipedia.org/wiki/Software_verification_and_validation), and [formal validation](https://en.wikipedia.org/wiki/Formal_verification) are highly interrelated topics.  Each deal with proving or disproving the correctness of systems as intended, and the classification of incorrect behavior.
+
+
+## Program Verification
+
+* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf)
+* :scroll: [Epitaxis: a system for syntactic and semantic software queries](epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf)
+
+## Fault Protection
 
 * [GN&C Fault Protection Fundamentals](https://trs.jpl.nasa.gov/bitstream/handle/2014/41696/08-0125.pdf)
 > As software becomes more and more integrated in our daily lives, we
diff --git a/program_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf b/faults_and_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf
similarity index 100%
rename from program_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf
rename to faults_and_verification/epitaxis-a-system-for-syntactic-and-semantic-software-queries.pdf
diff --git a/program_verification/README.md b/program_verification/README.md
deleted file mode 100644
index 7e3318a..0000000
--- a/program_verification/README.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# Program Verification
-
-* [Coq: The world’s best macro assembler?](https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf)