diff --git a/prism/NOTES b/prism/NOTES
index 42b5ac74..09ba2929 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -125,6 +125,7 @@ Simulator:
 Other:
 * Export tr/ss probs from GUI
 * Initial distr for steady-state
+* Finish CTL
 
 Adversary generation:
 * Add adversary generation for other engines