Add two rows to the audit table in one transaction; both use id = 1, so the second insert breaks uniqueness and fails. Write the transaction so that, when the second insert fails, NO row remains — all or nothing. Shape: begin, insert (1, 'a'), insert (1, 'b'), finish.