“…where 1 fv i <lg denotes (with a slight abuse of notation) the vector of indicator functions taking value 1 if v i < l and 0 otherwise, for i = 1; ::; N: We see from (3) that, as long as > 0, the value v of the …rms' assets is now a discontinuous function of r, that jumps whenever some …rm defaults. Moreover, v is determined as a …xed point of the map de…ned by (3), since the level of v also determines whether a …rm is solvent or not; if insolvent a …rm has to pay the additional default cost, which in turn a¤ects the value of v, and so on. To see this, take N = 2; A = " 0:7 0:3 0:3 0:7 # ; R = 1 if no shock hits and r i = 0:5 if a shock hits, l = 0:8 and = 0:5.…”