diff --git a/prism/NOTES-ABSTR b/prism/NOTES-ABSTR
index 8efdb1fa..6a5c0f86 100644
--- a/prism/NOTES-ABSTR
+++ b/prism/NOTES-ABSTR
@@ -1,7 +1,6 @@
 TODO:
 
 exp reach for games
-Prob0 for MDPs
 remove src/abstraction dir
 
 other notes/ideas: