Wrapped transaction read inside a closure for correctness