⁷We are using a somewhat unusual notation to designate the derivative of the value function with respect to the state variable $a$. This notation is motivated by a desire for the mathematical form of the derivative to resemble as closely as possible the computational representation, which will be vda.