Hi there, what is a no-operation idiom for Ur/Web that I could put into an else clause in a transaction monad? stored <- get store; input <- get counter; if (stored <> input) then set var value else <nop> sleep 100; - Gergely