¹²There is a corresponding inverse for the value function: ${\Lambda }_{\succ }(a_t)={((1-\rho )v_{\succ })}^{1∕(1-\rho )}$, and for the marginal marginal value function etc.