docs/sophia_stdlib.md

@@ -795,7 +795,9 @@ The `value` argument (default `0`) is equivalent to the value in the contract
 creation transaction – it sets the initial value of the newly created contract
 charging the calling contract. Note that this won't be visible in `Call.value`
 in the `init` call of the new contract. It will be included in
-`Contract.balance`, however.
+`Contract.balance`, however. The resulting contract's public key can be
+predicted and in case it happens to have some funds before its creation, its
+balance will remain or be increased by the `value` parameter.
 
 
 The type `'c` must be instantiated with a contract.