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 309e88e3d..d37844155 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	
@@ -47,7 +47,7 @@ That way, if a safety condition is violated, the SMT solver will pick it up as a
 counter example. 
 
 MILP based solvers are Mixed Integer Linear Programming solvers. MILPs use
-linear programming where certain constraints are integers to 
+linear programming where certain constraints are integers to reduce the solving space.
 
 **What is the supporting evidence?**