diff --git a/docs/source/cell/word_formal.rst b/docs/source/cell/word_formal.rst
index ae0f56025..8c52422a8 100644
--- a/docs/source/cell/word_formal.rst
+++ b/docs/source/cell/word_formal.rst
@@ -1,6 +1,10 @@
 Formal verification cells
 -------------------------
 
+.. TODO:: note on `$check`
+
+   If only I remembered what the note was...
+
 .. TODO:: Describe formal cells
 
    `$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`,