Text this: Semimartingale models of stochastic optimal control, with apllications to double martingales