Choice commits before delivering result to the synchronizing thread