diff --git a/src/problem.rs b/src/problem.rs
index 8567791..2260841 100644
--- a/src/problem.rs
+++ b/src/problem.rs
@@ -480,6 +480,7 @@ impl Problem
 		let mut last_symbolic_constant: Option<std::rc::Rc<foliage::FunctionDeclaration>> =
 			None;
 
+		// TODO: put in axioms section
 		for (i, symbolic_constant) in symbolic_constants.enumerate()
 		{
 			// Order axioms are only necessary with two or more symbolic constants