diff --git a/modules/winnertakeall/winnertakeall.md b/modules/winnertakeall/winnertakeall.md
index 03eb7e4..55d3f1a 100644
--- a/modules/winnertakeall/winnertakeall.md
+++ b/modules/winnertakeall/winnertakeall.md
@@ -34,28 +34,28 @@ WINNERTAKEALL
 
     ## external
 
-    @OUT-EXCI-001: BEHAVIOUR [ behaviour: OUT_EXCITATION, __GroupPossible: GROUP [
-       pre: @NEU_001.@AXO_001._presynapse, 
-       pre: @NEU_002.@AXO_001._presynapse ] ]
+    @OUT-EXCI-001: BEHAVIOUR [ behaviour: OUT_EXCITATION, collection: COLLECTION [
+      pre: (  @NEU_001.@AXO_001._presynapse, 
+              @NEU_002.@AXO_001._presynapse ) ] ]
 
-    @IN-EXCI-001: BEHAVIOUR [ behaviour: IN_EXCITATION, __GroupPossible: GROUP [
-       post: @NEU_001.@D_BRANCH_002._postsynapse, 
-       post: @NEU_002.@D_BRANCH_002._postsynapse, 
-       astro: @NEU_001.@D_BRANCH_002._astrosynapse ] ]
+    @IN-EXCI-001: BEHAVIOUR [ behaviour: IN_EXCITATION, collection: COLLECTION [
+      post: ( @NEU_001.@D_BRANCH_002._postsynapse, 
+              @NEU_002.@D_BRANCH_002._postsynapse ) 
+      astro:  &ASTROCYTE._astrosynapse ] ]
 
-    @IN-INHI-001: BEHAVIOUR [ behaviour: IN_INHIBITION, __GroupPossible: GROUP [
-       post: @NEU_001.@SOMA_001._somasynapse, 
-       post: @NEU_002.@SOMA_001._somasynapse, 
-       astro: @NEU_001.@SOMA_001._somasynapse ] ]
+    @IN-INHI-001: BEHAVIOUR [ behaviour: IN_INHIBITION, collection: COLLECTION [
+      post: ( @NEU_001.@SOMA_001._somasynapse, 
+              @NEU_002.@SOMA_001._somasynapse ) 
+      astro:  &ASTROCYTE._astrosynapse ] ]
 
     ## internal
 
     ### Area xxx
 
-    @: BEHAVIOUR [ behaviour: EXCITATION, __GroupPossible: GROUP [ 
+    @: BEHAVIOUR [ behaviour: EXCITATION, collection: COLLECTION [ 
       pre: @NEU_001.@AXON-001._presynapse, 
       post: @NEU_001.@D_BRANCH_001._postsynapse, 
-      astro: @NEU_001.@D_BRANCH_001._astrosynapse ] ]
+      astro: &ASTROCYTE._astrosynapse ] ]
 ```
 
 ### EXCITATION
@@ -109,16 +109,9 @@ ExcitationBind
 
   in_context: *ActivateAstroPostPre
 
-    hypothesis: ( GoodTraces fullness ) AND NOT ( _Astrosynapse full ) AND NOT ( _Presynapse full ) AND NOT ( _Postsynapse full)
-      bind: [_Presynapse increase, _Postsynapse increase, _Astrosynapse increase]
-      trace: None?
-
-    hypothesis: ( GoodTraces fullness ) AND 
-      ( NOT __GroupPossible.pre full ) AND 
-      ( NOT __GroupPossible.post full ) AND 
-      ( NOT __GroupPossible.astro full)
-      bind: [__GroupPossible.pre, __GroupPossible.post, __GroupPossible.astro ]
-      trace: None?
+    hypothesis: ( GoodTraces fullness )
+      bind: [collection.pre, collection.post, collection.astro ]
+      trace: #qui possiamo lasciare le tracce di un tentativo di attivare non possibile, che dovrebbe andare all'ASTRO
 ```
 
 ###### ClearTraces
@@ -146,7 +139,7 @@ ExcitationUnbind
 
   in_context: &DeActivateSynPostPre
   
-    hypothesis: (BadTraces fullness) AND (NOT bind_condition[__GroupPossible.pre, __GroupPossible.post, __GroupPossible.astro] empty )
-      unbind: [__GroupPossible.pre, __GroupPossible.post, __GroupPossible.astro]
-      trace: None?
+    hypothesis: (BadTraces fullness)
+      unbind: [collection.pre, collection.post, collection.astro]
+      trace: Qui non dovrebbe arrivare se ci sono tracce di BadTraces, generate da synapsi attive
 ```