https://123dok.net/document/zx530k1d-nonlinear-predictable-representation-solutions-second-order-backward-sdes.html