Invia SMS: Semimartingale models of stochastic optimal control, with apllications to double martingales