⁵²The software can also solve a version of the model with explicit liquidity constraints, where the Envelope condition does not hold.