Hamilton–Jacobi–Bellman is just linear duality