1 files changed, 2 insertions, 0 deletions
diff --git a/TODO.md b/TODO.md
index 8973018f..d92e9640 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,7 @@
 # TODO
 
+0. update the end borrows internal to abstractions to not introduce a Bottom
+
 1. stateful maps/sets modules (hashtbl?)
 
 1. Check the occurrence of visitors like visit_AEndedMutLoan: the parameters are