On the Separation Theorem of Stochastic Control | Synapse