diff --git a/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp b/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp
index c1bafbaa61..3f72a95196 100644
--- a/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp
+++ b/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp
@@ -1666,6 +1666,7 @@ template <typename C, typename T> void bigfield<C, T>::assert_is_in_field() cons
 
 template <typename C, typename T> void bigfield<C, T>::assert_less_than(const uint256_t& upper_limit) const
 {
+    // TODO(kesha): Merge this with assert_is_in_field
     // Warning: this assumes we have run circuit construction at least once in debug mode where large non reduced
     // constants are allowed via ASSERT
     if (is_constant()) {