diff --git a/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md b/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md
index aee652e4c..a78736cea 100644
--- a/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md	
+++ b/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md	
@@ -65,7 +65,9 @@ and merging that seems like a to grasp. But, apparently it works.
 
 Next, they spend some time talking about other machine learning methods and
 the formal methods that have been applied to them. Of particular interest to me
-is the formal method application to support vector machines and decision trees. 
+is the formal method application to support vector machines and decision 
+trees. There are some useful methods for detecting robustness to adversarial 
+inputs, and knowing what the nearest misclassification adversarial case is.
 
 # Third Pass
 **Recreation Notes:**