Appendix B

Derivation of the organizing equation

This appendix derives equation 2 and states the assumptions behind it. The framework starts with optimizing households and adds a reduced-form external cost of financial vulnerability of the kind studied in the normative macroprudential literature (Lorenzoni 2008; Bianchi 2011; Farhi and Werning 2016; Korinek and Simsek 2016; Dávila and Korinek 2018). The purpose is not to calculate welfare, but to show how the objects discussed in the main text enter a first-order welfare expression.

The notation and sign convention are the same as in the main text. A higher τ\tau permits more borrowing, so a tightening has dτ<0\mathrm{d}\tau<0. Statutory capacity is κi\kappa_i, effective capacity is κ̃i\tilde{\kappa}_i, and implementation pass-through ϵi\epsilon_i is defined in equation 1. We use ηi\eta_i for the Lagrange multiplier on the borrowing constraint in utility units and λi\lambda_i for the same object in money units.

B.1Environment

Households and markets. There is a unit continuum of households indexed by ii. Household ii chooses tenure (own or rent), a consumption plan, housing hih_i (quantity, quality, and location), mortgage debt bib_i (bi=0b_i=0 for renters), liquid saving, and other financing such as unsecured credit or family transfers. We collect these choices in the vector aia_i, and preferences are Ui(ai;Z)U_i(a_i;Z), where ZZ is defined below.

Households take as given a vector of market outcomes x=(x1,…,xJ)x=(x_1,\dots,x_J), which includes the house price PP, the rent RR, mortgage spreads and fees ss, and lender underwriting standards beyond the statutory rule. The budget constraint is written as Bi(ai;x)≤0B_i(a_i;x)\le 0, where BiB_i is the present value of expenditure less the present value of resources. For a buyer, BiB_i includes the purchase price PhiPh_i, less the mortgage bib_i, plus the present value of debt service. For a renter, it includes the present value of rent. Payments at later dates are valued at the household’s own discount factor, so all objects below are measured in units of the numéraire at the date of the policy change.

B.1.1Borrowing constraints

Household ii faces the constraint bi≤κ̃i(τ,x),\begin{equation} \label{eq:constraint} b_i \le \tilde{\kappa}_i(\tau,x), \end{equation}(B.1) where effective capacity κ̃i\tilde{\kappa}_i is statutory capacity κi\kappa_i adjusted for how the rule is implemented. The instruments in the main text differ in which variables enter κi\kappa_i:

  • LTV limit: κi=τPhi\kappa_i=\tau Ph_i, where τ\tau is the maximum loan-to-value ratio. Capacity rises with the house price, ∂κi/∂P=τhi>0\partial\kappa_i/\partial P=\tau h_i>0, which is the collateral constraint of Kiyotaki and Moore (1997).

  • LTI limit: κi=τyi\kappa_i=\tau y_i, where yiy_i is the income the lender uses. Capacity does not depend on the house price. A DTI limit has the same form applied to total debt, so mortgage capacity is τyi\tau y_i less the household’s other debt.

  • DSTI limit: required payments may not exceed a share τ\tau of income. With payments equal to α(r+s,T)bi\alpha(r+s,T)\,b_i, where α\alpha is the annuity factor for the mortgage rate r+sr+s and maturity TT, capacity is κi=τyi/α(r+s,T)\kappa_i=\tau y_i/\alpha(r+s,T). Because α\alpha increases with the rate, ∂κi/∂r<0\partial\kappa_i/\partial r<0 and ∂κi/∂s<0\partial\kappa_i/\partial s<0.

  • Amortization requirement: the requirement restricts the repayment path rather than the loan at origination. It gives one constraint per period, and λi\lambda_i below is the present value of the money-metric multipliers on these constraints. A household can therefore be constrained by an amortization requirement while having unused capacity at origination, as in the Swedish evidence (Bäckman et al. 2026).

Implementation enters through effective capacity. With lender exemptions eie_i, for instance allocated under a quota (Kinghan and McCann 2019), effective capacity is κ̃i=κi+ei\tilde{\kappa}_i=\kappa_i+e_i. If lenders grant more exemptions when the rule is tightened, ∂ei/∂τ<0\partial e_i/\partial\tau<0, and equation 1 gives ϵi=1+∂ei/∂τ∂κi/∂τ<1.\epsilon_i=1+\frac{\partial e_i/\partial\tau}{\partial\kappa_i/\partial\tau}<1 . Lender underwriting standards enter κ̃i\tilde{\kappa}_i in the same way, which is why we include them in xx.

B.1.2The household problem

Conditional on owning, household ii solves Vio(τ,x,Z)=maxaUi(a;Z)s.t.Bi(a;x)≤0[μi],b(a)≤κ̃i(τ,x)[ηi],\begin{equation} \label{eq:hhproblem} V_i^{o}(\tau,x,Z)=\max_{a}\;U_i(a;Z) \quad\text{s.t.}\quad B_i(a;x)\le 0\;\;[\mu_i],\qquad b(a)\le\tilde{\kappa}_i(\tau,x)\;\;[\eta_i], \end{equation}(B.2) where μi>0\mu_i>0 is the marginal utility of the numéraire and ηi≥0\eta_i\ge 0 is the utility value of one more unit of borrowing capacity. The value of renting, Viρ(x,Z)V_i^{\rho}(x,Z), is defined in the same way without the mortgage. The household’s value is Vi=max⁡{Vio,Viρ}V_i=\max\{V_i^{o},V_i^{\rho}\}, and Si≡Vio−ViρS_i\equiv V_i^{o}-V_i^{\rho} is its ownership surplus.

B.1.3Aggregates and the external cost

The vector ZZ collects aggregate outcomes associated with financial vulnerability, such as total household credit ∫bidi\int b_i\,\mathrm{d}i, the distribution of leverage and debt service, the composition of new lending, and house-price growth. These outcomes affect households, for instance through the probability and depth of a financial crisis, but each household takes them as given. The external cost Ψ(Z)\Psi(Z) is the money-metric value of these effects summed over households. Only its gradient enters the derivation, so we define it directly: ∇Ψ(Z)≡−∫1μi∂Vi∂Zdi.\begin{equation} \label{eq:psi} \nabla\Psi(Z)\equiv-\int\frac{1}{\mu_i}\,\frac{\partial V_i}{\partial Z}\,\mathrm{d}i . \end{equation}(B.3) As an example, suppose a crisis occurs with probability π(Z)\pi(Z) and that Ui(a;Z)=(1−π(Z))UiNC(a)+π(Z)UiC(a),U_i(a;Z)=\big(1-\pi(Z)\big)\,U_i^{NC}(a)+\pi(Z)\,U_i^{C}(a), where UiNCU_i^{NC} and UiCU_i^{C} are utility in the no-crisis and crisis states. Then ∂Vi/∂Z=−∇π(UiNC−UiC)\partial V_i/\partial Z=-\nabla\pi\,(U_i^{NC}-U_i^{C}) at the household’s optimum, and ∇Ψ(Z)=∇π(Z)𝒞,𝒞≡∫UiNC−UiCμidi≥0.\nabla\Psi(Z)=\nabla\pi(Z)\;\mathcal{C},\qquad \mathcal{C}\equiv\int\frac{U_i^{NC}-U_i^{C}}{\mu_i}\,\mathrm{d}i\ \ge 0 . The external cost thus equals the change in crisis probability times the money-metric loss in a crisis, summed over households. Households take their own losses in a crisis into account when they choose how much to borrow, given π\pi. What they do not take into account is the effect of their borrowing on π\pi. The evidence that credit-financed booms are followed by deeper recessions (Jordà et al. 2013; Cerra and Saxena 2008) bears on 𝒞\mathcal{C}, and the evidence that credit growth predicts crises (Schularick and Taylor 2012; Greenwood et al. 2022) bears on ∇π\nabla\pi. Since ∇π\nabla\pi is evaluated at ZZ, the marginal effect of credit on crisis probability can depend on the other elements of ZZ. The state dependence documented by Greenwood et al. (2022) and Krishnamurthy and Muir (2025) is consistent with positive cross-partials ∂2π/∂Zk∂Zl\partial^2\pi/\partial Z_k\,\partial Z_l between credit growth and house-price growth or credit spreads, which is why the crisis map in Section 6.1 sorts tightening episodes on both dimensions.

The market outcomes xx and the aggregates ZZ are determined in equilibrium by housing and rental market clearing, lender behavior, and expectations. We do not solve for this equilibrium. We only require that the equilibrium path x(τ)x(\tau), Z(τ)Z(\tau) is differentiable, and we treat ẋ≡dx/dτ\dot{x}\equiv\mathrm{d}x/\mathrm{d}\tau and Ż≡dZ/dτ\dot{Z}\equiv\mathrm{d}Z/\mathrm{d}\tau as the responses estimated in the empirical literature. These are present values of the response paths, and λi\lambda_i is the present value of the multipliers on the borrowing constraint at each date and in each state.

B.1.4Assumptions

Assumption B.1 (Price taking). Households and lenders take xx and ZZ as given.

Assumption B.2 (Envelope theorem). Conditional on tenure, the envelope theorem applies to problem B.2 (Milgrom and Segal 2002). At regulatory thresholds the derivatives are one-sided, and we use the derivative in the direction of a tightening. Households bunching at a threshold are constrained households with ηi>0\eta_i>0.

Assumption B.3 (Rational borrowing). Households maximize their own welfare with correct beliefs. We relax this in Section B.3.1.

Assumption B.4 (Marginal reform). The tightening dτ<0\mathrm{d}\tau<0 is small and permanent.

Assumption B.1 is the source of the policy rationale. Because no household or lender takes into account the effect of its own borrowing on ZZ, private optimization does not lead to the social optimum, and the external cost remains in the welfare expression. We abstract from compliance and screening costs and from lender profits other than those captured by spreads.

B.2Derivation

Step 1: Envelope conditions. Fix tenure at the household’s optimum. The Lagrangian of problem B.2 is ℒi=Ui(a;Z)−μiBi(a;x)+ηi[κ̃i(τ,x)−b(a)].\mathcal{L}_i=U_i(a;Z)-\mu_i\,B_i(a;x)+\eta_i\big[\tilde{\kappa}_i(\tau,x)-b(a)\big]. By Assumption B.2, the derivatives of the value function with respect to τ\tau, xx, and ZZ equal the partial derivatives of ℒi\mathcal{L}_i at the optimum. Changes in the household’s own choices have no first-order effect on its value: ∂Vi∂τ=ηi∂κ̃i∂τ=ηiϵi∂κi∂τ,∂Vi∂xj=−μi∂Bi∂xj+ηi∂κ̃i∂xj=μimij+ηi∂κ̃i∂xj,\begin{align} \frac{\partial V_i}{\partial\tau}&=\eta_i\,\frac{\partial\tilde{\kappa}_i}{\partial\tau}=\eta_i\,\epsilon_i\,\frac{\partial\kappa_i}{\partial\tau},\label{eq:envtau}\\ \frac{\partial V_i}{\partial x_j}&=-\mu_i\,\frac{\partial B_i}{\partial x_j}+\eta_i\,\frac{\partial\tilde{\kappa}_i}{\partial x_j} =\mu_i\,m_{ij}+\eta_i\,\frac{\partial\tilde{\kappa}_i}{\partial x_j},\label{eq:envx} \end{align}(B.4)
(B.5)
where the second equality in B.4 uses equation 1, and mij≡−∂Bi∂xj\begin{equation} \label{eq:netposition} m_{ij}\equiv-\frac{\partial B_i}{\partial x_j} \end{equation}(B.6) is household ii’s net position in market jj. For the house price, mijm_{ij} is net housing sold, negative for buyers and positive for sellers. For the rent, it is net rental supply, negative for renters and positive for landlords. For the mortgage spread, it is negative and proportional to bib_i for borrowers and positive for the owners of lenders. The derivative with respect to ZZ is ∂Vi/∂Z=∂Ui/∂Z\partial V_i/\partial Z=\partial U_i/\partial Z, which enters equation B.3.

Step 2: Money metric. We measure welfare in units of the numéraire by weighting each household by ωi≡1/μi\omega_i\equiv1/\mu_i, evaluated before the policy change, so that one unit of the numéraire has the same value whoever receives it. Welfare is W(τ)=∫ωiVi(τ,x(τ),Z(τ))di,\begin{equation} \label{eq:W} W(\tau)=\int\omega_i\,V_i\big(\tau,x(\tau),Z(\tau)\big)\,\mathrm{d}i , \end{equation}(B.7) and the money-metric shadow value of borrowing capacity is λi≡ηiμi≥0.\begin{equation} \label{eq:weights} \lambda_i\equiv\frac{\eta_i}{\mu_i}\ge0 . \end{equation}(B.8)

Step 3: Aggregate. Differentiating equation B.7 along the equilibrium path and substituting equations B.3–B.8 gives the organizing equation.

Proposition B.1 (Organizing equation). Under Assumptions B.1–B.4, dWdτ=∫λiϵi∂κi∂τdi⏟(I) Direct effect+∑j[∫(mij+λi∂κ̃i∂xj)di]ẋj⏟(II) Equilibrium incidence−∇Ψ(Z)⋅Ż⏟(III) Corrective effect.\begin{equation} \label{eq:main} \frac{\mathrm{d}W}{\mathrm{d}\tau} =\underbrace{\int \lambda_i\,\epsilon_i\, \frac{\partial\kappa_i}{\partial\tau}\,\mathrm{d}i}_{\text{(I) Direct effect}} \;+\;\underbrace{\sum_{j}\bigg[\int \Big(m_{ij}+\lambda_i\,\frac{\partial\tilde{\kappa}_i}{\partial x_j}\Big)\mathrm{d}i\bigg]\,\dot{x}_j}_{\text{(II) Equilibrium incidence}} \;-\;\underbrace{\nabla\Psi(Z)\cdot\dot{Z}}_{\text{(III) Corrective effect}} . \end{equation}(B.9)

Proof. By the chain rule, dW/dτ=∫ωi[∂Vi/∂τ+∑j(∂Vi/∂xj)ẋj+(∂Vi/∂Z)⋅Ż]di\mathrm{d}W/\mathrm{d}\tau=\int\omega_i\big[\partial V_i/\partial\tau+\sum_j(\partial V_i/\partial x_j)\,\dot{x}_j+(\partial V_i/\partial Z)\cdot\dot{Z}\big]\mathrm{d}i. Substituting equations B.4 and B.5, using ωiμi=1\omega_i\mu_i=1 and ωiηi=λi\omega_i\eta_i=\lambda_i, gives terms (I) and (II). The last term equals −∇Ψ⋅Ż-\nabla\Psi\cdot\dot{Z} by equation B.3. ◻

Multiplying equation B.9 by dτ\mathrm{d}\tau and using dxj=ẋjdτ\mathrm{d}x_j=\dot{x}_j\,\mathrm{d}\tau and dZ=Żdτ\mathrm{d}Z=\dot{Z}\,\mathrm{d}\tau gives equation 2 in the main text. Grouping the same terms by whether a household is constrained (λi>0\lambda_i>0) or not, instead of by term, gives a decomposition into an effect on constrained households, an effect on unconstrained households, and crisis prevention. The two decompositions add up the same terms in a different order. Ours follows the objects that the different empirical literatures estimate.

B.3Properties used in the main text

Household adjustments. No behavioral response appears in equation B.9. When a household responds to a tightening by drawing down liquidity, buying a cheaper home, delaying a purchase, or relying on family support, the change in its welfare is fully captured by the shadow value λi\lambda_i times the change in capacity, because the household was already optimizing. The adjustments documented in Section 4 should therefore not be added to term (I) as separate costs. They remain informative, however, as they show that the constraint binds, they help discipline estimates of λi\lambda_i, they change the composition of debt that enters ZZ, and they generate the market responses ẋ\dot{x}.

Transfers and constraint revaluation in term (II). Each market response enters term (II) through two channels. The first, ∫mijdi\int m_{ij}\,\mathrm{d}i, is a transfer between households. Let nijtn_{ijt} be household ii’s net sales in market jj at date tt and QitQ_{it} its discount factor for date tt, with Qi0=1Q_{i0}=1, so that mij=∑tQitnijtm_{ij}=\sum_tQ_{it}\,n_{ijt}. Market clearing requires ∫nijtdi=0\int n_{ijt}\,\mathrm{d}i=0 at each date, so that ∫mijdi=∑t≥1Cov⁡(Qit,nijt).\begin{equation} \label{eq:transfer} \int m_{ij}\,\mathrm{d}i=\sum_{t\ge1}\mathop{\mathrm{Cov}}\big(Q_{it},\,n_{ijt}\big). \end{equation}(B.10) For a price paid once at the date of the policy change, such as the purchase price of a home, the transfer channel sums to zero and affects only who gains and who loses. For payments spread over time, such as rents and mortgage spreads, the sum is zero only if households on the two sides of the market value future payments equally. Constrained households value future payments less: in a two-period model in which household ii can borrow at rate rr, Qi1=(1−λi)/(1+r)Q_{i1}=(1-\lambda_i)/(1+r). The covariance in equation B.10 is the distributive pecuniary externality of Dávila and Korinek (2018), and it is small when the exposed households on the two sides of a market have similar shadow values. The main text treats the first channel as a transfer, which is exact for house prices and an approximation for rents and spreads.

The second channel, ∫λi∂κ̃i/∂xjdi\int\lambda_i\,\partial\tilde{\kappa}_i/\partial x_j\,\mathrm{d}i, does not net out. Under an LTV limit, ∂κ̃i/∂P=τhi\partial\tilde{\kappa}_i/\partial P=\tau h_i, so a lower house price reduces capacity for every constrained household. The two channels can work in opposite directions for the same household. For a first-time buyer with miP=−him_{iP}=-h_i, the net exposure to the house price is −hi(1−λiτ)<0-h_i(1-\lambda_i\tau)<0, so a lower price is still a gain, although a smaller one than the transfer channel alone suggests. For an owner who sells a home of size hi0h_i^{0} to buy a home of size hih_i, the net exposure is −(hi−hi0)+λiτhi-(h_i-h_i^{0})+\lambda_i\tau h_i, which is positive when the household trades up only modestly and is constrained, so a lower price is a loss (Stein 1995). Under LTI and DTI limits, ∂κ̃i/∂P=0\partial\tilde{\kappa}_i/\partial P=0 and only the transfer channel remains.

Households displaced from ownership. Under free tenure choice and a smooth distribution of ownership surplus, a small tightening moves only households that are close to indifferent between owning and renting (Si≈0S_i\approx0). Their welfare loss is second order, because the envelope theorem applies to the chosen tenure, while their effect on credit is first order, because each of them removes an entire loan. If instead households with Si>0S_i>0 are kept out of ownership by a down-payment requirement, a rejected application, or an exhausted exemption quota, their loss is first order and is not captured by λi\lambda_i. Let nR(τ)n_R(\tau) be the mass of such households and s‾R\bar s_R the average money-metric surplus Si/μiS_i/\mu_i of those who are newly kept out by the tightening. The tightening then adds −s‾RdnRdτdτ<0\begin{equation} \label{eq:rationing} -\,\bar s_R\,\frac{\mathrm{d}n_R}{\mathrm{d}\tau}\,\mathrm{d}\tau<0 \end{equation}(B.11) to the direct effect. Missing mass in bunching designs and entry responses, such as those in Eerola et al. (2023), measure dnR\mathrm{d}n_R only if displaced households are rationed rather than close to indifferent. They are also silent on s‾R\bar s_R.

B.3.1Internalities

Suppose households overvalue borrowing, for instance because they expect house prices to grow faster than they will or neglect repayment risk. Let households choose as if they maximized Ûi=Ui+μiδibi\hat U_i=U_i+\mu_i\delta_ib_i, where δi\delta_i is the money-metric overvaluation of a marginal unit of debt, while welfare is evaluated with UiU_i. The envelope theorem applies to the problem households actually solve, so terms (I)–(III) are unchanged, with λi\lambda_i and mijm_{ij} evaluated at the households’ choices. Since Ui=Ûi−μiδibiU_i=\hat U_i-\mu_i\delta_ib_i, welfare picks up one additional term: dWdτ=[right-hand side of (B.9)]−∫δidbidτdi⏟(IV) Internality correction,\begin{equation} \label{eq:termIV} \frac{\mathrm{d}W}{\mathrm{d}\tau}=\big[\text{right-hand side of (B.9)}\big] \;\underbrace{-\;\int \delta_i\,\frac{\mathrm{d}b_i}{\mathrm{d}\tau}\,\mathrm{d}i}_{\text{(IV) Internality correction}} , \end{equation}(B.12) where dbi/dτ\mathrm{d}b_i/\mathrm{d}\tau is the total change in household ii’s borrowing, including the response to market outcomes. A tightening reduces borrowing, so with δi>0\delta_i>0 term (IV) times dτ\mathrm{d}\tau equals −∫δidbidi>0-\int\delta_i\,\mathrm{d}b_i\,\mathrm{d}i>0, a benefit. The behavioral response that drops out of the welfare expression under Assumption B.3 now matters, as in the theory of corrective taxation. If overvaluation is concentrated among constrained borrowers, terms (I) and (IV) partly offset for the same households, and the net effect on these households can be positive if δi\delta_i is large. Data linking house-price expectations to leverage choices (Bailey et al. 2019) offer one way to measure δi\delta_i.

B.4Limits

The organizing equation has four limits. First, it is a first-order expression. Observed changes in LTV and income limits are often several percentage points, and the second-order terms are then not negligible. Larger reforms require a structural model. Second, the envelope argument does not hold when households are rationed out of ownership or borrow more than is good for them. We state both cases as separate terms, equations B.11 and B.12, but for down-payment constraints rationing may be common. Third, the equation adds money-metric gains and losses without distributional weights, and the transfer channel nets out exactly only for one-time prices. The main text therefore reports incidence by group, so that other weights can be applied. Fourth, the present-value convention compresses timing. Announcement effects, transition paths, and changes in beliefs are part of ẋ\dot{x} and Ż\dot{Z} but are not modeled separately.