diff --git a/faults_and_verification/README.md b/faults_and_verification/README.md
index 40e0797..a2cc2f7 100644
--- a/faults_and_verification/README.md
+++ b/faults_and_verification/README.md
@@ -1,5 +1,8 @@
 # Program Faults and Verification
 
+[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)