¹⁰Remember that the envelope theorem depends only on being able to spend current wealth on current consumption, so it holds whether or not there is a liquidity constraint.