diff --git a/hmknf.py b/hmknf.py
index b13e168..fe14567 100644
--- a/hmknf.py
+++ b/hmknf.py
@@ -2,6 +2,11 @@ from AST import loadProgram, OFormula, LRule, OBinary, OLiteral, OConst, KB
 from itertools import combinations
 from sys import flags
 
+
+# TODO TODO TODO
+# separate O atoms from KA atoms? do we care though?
+
+
 # Expects total assignments
 def oformula_sat(o: OFormula, total_T: set[str]):
     match o: