REQUIRED

Join the transaction already running, or start one where there is none.

The joined block does not commit: the outermost transaction is the one that decides, so a failure anywhere inside takes the whole thing down with it.