diff --git a/notes.txt b/notes.txt
index cd7d871f0..1c2755f2b 100644
--- a/notes.txt
+++ b/notes.txt
@@ -370,3 +370,4 @@ TODOs:
 7) Check recursion
 8) Check isValidGatingSet and findGatingCondition
 
+Add a new feature to not do simulation or SAT based on the false paths
\ No newline at end of file