ClojureのSTMって

プログラミングClojure

ClojureのSTMでは、ref-setするモノが他のトランザクションで変更されてたらやり直し、って読めるんだけどあってる？
トランザクション中で参照した情報が、トランザクションを抜けるときに変更されたケースはどうなんだろう。コミットされちゃうの？

以下はトランザクション中に参照したrefが、他のトランザクションで変化していたら失敗するように書いた版。