Before revision:  We first derive the Markov property of a forward-backward system (FBSDE) if the generating martingale is a strong Markov process.
After revision:  We first derive the Markov property of a forward--backward system (FBSDE) if the generating martingale is a strong Markov process.