diff --git a/model_with_structures/model.typ b/model_with_structures/model.typ
index 428e355..c3aad96 100644
--- a/model_with_structures/model.typ
+++ b/model_with_structures/model.typ
@@ -208,8 +208,6 @@ $d space @ space overline(x)$ - запись применения функции
 // TODO: FIXME: define argtag operation
 #let argtag = `argtag`
 
-// TODO: FIXME: define addpaths operation: ~>
-
 // FIXME
 #align(center, prooftree(
   vertical-spacing: 4pt,
@@ -226,6 +224,18 @@ $d space @ space overline(x)$ - запись применения функции
 
 #h(10pt)
 
+// TODO: FIXME: define addpaths operation: ~>
+// #align(center, prooftree(
+//   vertical-spacing: 4pt,
+//   rule(
+//     name: [ add paths init],
+
+//     $mu stretch(~>)^nothing_(cl sigma, mu cr) mu$,
+//   )
+// ))
+
+#h(10pt)
+
 #align(center, prooftree(
   vertical-spacing: 4pt,
   rule(
@@ -299,8 +309,6 @@ $d space @ space overline(x)$ - запись применения функции
 
 #h(10pt)
 
-// TODO: special operation to add all paths one by one ??
-
 #align(center, prooftree(
   vertical-spacing: 4pt,
   rule(