diff --git a/interpreter/shared/src/main/scala/sigmastate/trees.scala b/interpreter/shared/src/main/scala/sigmastate/trees.scala
index 533229f652..adc53ce754 100644
--- a/interpreter/shared/src/main/scala/sigmastate/trees.scala
+++ b/interpreter/shared/src/main/scala/sigmastate/trees.scala
@@ -35,7 +35,11 @@ trait SigmaConjecture extends SigmaBoolean {
 }
 
 /**
-  * Basic trait for leafs of crypto-trees, such as [[sigmastate.basics.DLogProtocol.ProveDlog]] and [[sigmastate.basics.ProveDHTuple]] instances
+  * Basic trait for leafs of crypto-trees, such as
+  * [[sigmastate.basics.DLogProtocol.ProveDlog]] and [[sigmastate.basics.ProveDHTuple]]
+  * instances.
+  * It plays the same role as [[SigmaConjecture]]. It used in prover to distinguish leafs from
+  * other nodes and have logic common to leaves regardless of the concrete leaf type.
   */
 trait SigmaLeaf extends SigmaBoolean