But do we really need a separate tx to detect whether tx3 committed or not?