“…27 We have that for every admissible π, U t (F + X (π) T ) = U g (π) t (F ) + X (π) t , where U g (π) (F ) is the unique solution to the BSDE with terminal condition F and driver function g (π) (t, z,z) = g (π) 1 (t, z) + R\{0} g (π) 2 (t, x,z(x))n p (t, dx) with g (π) 1 (t, z,z) := g 1 (t, z − π t σ t ) − π t b t and g (π) 2 (t, x,z(x)) := g 2 (t, x,z(x) − π t β t (x)).…”