Dual effect, certainty equivalence, and separation in stochastic control | Synapse