diff --git a/What is Lobot?.md b/What is Lobot?.md
index c8ffcfeb7..ddbebfdde 100644
--- a/What is Lobot?.md	
+++ b/What is Lobot?.md	
@@ -12,3 +12,4 @@
 - It looks like these get passed down to an actual theorem prover or whatever FRET is.
 - Lobot has 'consistency checks' at the end of the file that are baby theorems.
 - The github is FULL of todos.
+- Lots of 'what the fuck?'s