This result records hamilton-jacobi-bellman equation from the dynamic programming principle in a form suited to nonlinear and optimal control. It is used to justify stability, existence, optimality, or numerical approximation arguments elsewhere in the control theory notes.