diff --git a/docs/source/index.rst b/docs/source/index.rst
index ec6d8f6..30fd5f1 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -11,6 +11,7 @@ formal tasks:
    * Generation of test benches from cover statements
    * Verification of liveness properties
    * Formal equivalence checking [TBD]
+   * Reactive Synthesis [TBD]
 
 (Items marked [TBD] are features under construction and not available
 at the moment.)