Hi, I have changed monadic ⊣ to be more efficient. The old behavior was that ⊣ B was a copy of B but as a committed value. The new behavior is that ⊣ B is 0 as a committed value of 0 (instead of B). The original purpose of monadic ⊣ was to suppress the printout of B and that still works. The new behavior makes a difference if the result of ⊣ B is assigned or otherwise used (and in that case ⊣ was unnecessary). In those cases monadic ⊢ can be used instead of ⊣. /// Jürgen |