diff --git a/README.md b/README.md
index 1ed90290e09a3b69c3b4a59eff98912758b26e97..d25b8154b1780843e6a7335cf71351eeb95c68d9 100644
--- a/README.md
+++ b/README.md
@@ -53,6 +53,8 @@ they can illustrate the usage of the logic.
   + `cell.v` - higher-order cell objects
   + `ticket_lock.v` - ticket lock refines spin lock
   + `various.v` - lots of examples with higher-order functions with local state, in the style of "The effects of higher-order state and control on local relational reasoning" paper
+- `experimental` more "experimental" stuff
+  + `helping/helping_stack.v` linearizability of stack with helping
 
 ## Differences with the old version