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 permits more borrowing, so a tightening has . Statutory capacity is , effective capacity is , and implementation pass-through is defined in equation 1. We use for the Lagrange multiplier on the borrowing constraint in utility units and for the same object in money units.
B.1Environment
Households and markets. There is a unit continuum of households indexed by . Household chooses tenure (own or rent), a consumption plan, housing (quantity, quality, and location), mortgage debt ( for renters), liquid saving, and other financing such as unsecured credit or family transfers. We collect these choices in the vector , and preferences are , where is defined below.
Households take as given a vector of market outcomes , which includes the house price , the rent , mortgage spreads and fees , and lender underwriting standards beyond the statutory rule. The budget constraint is written as , where is the present value of expenditure less the present value of resources. For a buyer, includes the purchase price , less the mortgage , 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 faces the constraint (B.1) where effective capacity is statutory capacity adjusted for how the rule is implemented. The instruments in the main text differ in which variables enter :
LTV limit: , where is the maximum loan-to-value ratio. Capacity rises with the house price, , which is the collateral constraint of Kiyotaki and Moore (1997).
LTI limit: , where 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 less the household’s other debt.
DSTI limit: required payments may not exceed a share of income. With payments equal to , where is the annuity factor for the mortgage rate and maturity , capacity is . Because increases with the rate, and .
Amortization requirement: the requirement restricts the repayment path rather than the loan at origination. It gives one constraint per period, and 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 , for instance allocated under a quota (Kinghan and McCann 2019), effective capacity is . If lenders grant more exemptions when the rule is tightened, , and equation 1 gives Lender underwriting standards enter in the same way, which is why we include them in .
B.1.2The household problem
Conditional on owning, household solves (B.2) where is the marginal utility of the numéraire and is the utility value of one more unit of borrowing capacity. The value of renting, , is defined in the same way without the mortgage. The household’s value is , and is its ownership surplus.
B.1.3Aggregates and the external cost
The vector collects aggregate outcomes associated with financial vulnerability, such as total household credit , 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 is the money-metric value of these effects summed over households. Only its gradient enters the derivation, so we define it directly: (B.3) As an example, suppose a crisis occurs with probability and that where and are utility in the no-crisis and crisis states. Then at the household’s optimum, and 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 . What they do not take into account is the effect of their borrowing on . The evidence that credit-financed booms are followed by deeper recessions (Jordà et al. 2013; Cerra and Saxena 2008) bears on , and the evidence that credit growth predicts crises (Schularick and Taylor 2012; Greenwood et al. 2022) bears on . Since is evaluated at , the marginal effect of credit on crisis probability can depend on the other elements of . The state dependence documented by Greenwood et al. (2022) and Krishnamurthy and Muir (2025) is consistent with positive cross-partials 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 and the aggregates 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 , is differentiable, and we treat and as the responses estimated in the empirical literature. These are present values of the response paths, and 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 and 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 .
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 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 , 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 By Assumption B.2, the derivatives of the value function with respect to , , and equal the partial derivatives of at the optimum. Changes in the household’s own choices have no first-order effect on its value: (B.4)
(B.5) where the second equality in B.4 uses equation 1, and (B.6) is household ’s net position in market . For the house price, 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 for borrowers and positive for the owners of lenders. The derivative with respect to is , which enters equation B.3.
Step 2: Money metric. We measure welfare in units of the numéraire by weighting each household by , evaluated before the policy change, so that one unit of the numéraire has the same value whoever receives it. Welfare is (B.7) and the money-metric shadow value of borrowing capacity is (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, (B.9)
Proof. By the chain rule, . Substituting equations B.4 and B.5, using and , gives terms (I) and (II). The last term equals by equation B.3. ◻
Multiplying equation B.9 by and using and gives equation 2 in the main text. Grouping the same terms by whether a household is constrained () 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 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 , they change the composition of debt that enters , and they generate the market responses .
Transfers and constraint revaluation in term (II). Each market response enters term (II) through two channels. The first, , is a transfer between households. Let be household ’s net sales in market at date and its discount factor for date , with , so that . Market clearing requires at each date, so that (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 can borrow at rate , . 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, , does not net out. Under an LTV limit, , 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 , the net exposure to the house price is , 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 to buy a home of size , the net exposure is , 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, 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 (). 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 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 . Let be the mass of such households and the average money-metric surplus of those who are newly kept out by the tightening. The tightening then adds (B.11) to the direct effect. Missing mass in bunching designs and entry responses, such as those in Eerola et al. (2023), measure only if displaced households are rationed rather than close to indifferent. They are also silent on .
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 , where is the money-metric overvaluation of a marginal unit of debt, while welfare is evaluated with . The envelope theorem applies to the problem households actually solve, so terms (I)–(III) are unchanged, with and evaluated at the households’ choices. Since , welfare picks up one additional term: (B.12) where is the total change in household ’s borrowing, including the response to market outcomes. A tightening reduces borrowing, so with term (IV) times equals , 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 is large. Data linking house-price expectations to leverage choices (Bailey et al. 2019) offer one way to measure .
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 and but are not modeled separately.