 \in \Feans{j} \mid \pprall \cdot \bunn \le \pprall \cdot \bunndowj} \util{j}{\bunn} = \log \frac{5}{11},$$ we have that $\dH{j}{\p}{u} = \{(1,0)\}$ and that $\dH{j}{\ppr}{\ub} = \{(0,0)\}$,[^30] so the decrease in the Marshallian demand for the second good as prices change from $\p$ to $\ppr$ at the endowment $\bunndowj$ reflects an income effect. By Theorem \[thm:netSubExist\],  exists whenever $k$ has a  utility function. For example, if $k$ has a quasilinear utility function with a  valuation given by Equation (\[eq:kUnitDem\]), then for the  defined by $\bundowj = (0,1)$, $\bundowag{k} = (1,0)$, and $\numerdowj = \numerdowag{k} = 3,$ the price vector $(3,2)$ and the allocation of goods defined by $\bunj = (1,0)$ and $\bunag{k} = (0,1)$ comprise a.[^31]

In Case \[eg:numericalLog\], agent $j$ has  preferences—leading to the guaranteed existence of  when agent $k$ has  preferences. By contrast, in Case \[eg:numericalComp\], agent $j$ does not have  preferences—and  may not exist when $k$ has  preferences.

In general, net substitutability forms a maximal domain for the existence of. Specifically, if an agent does not have  preferences, then  may not exist when the other agents have  quasilinear preferences.

\[prop:netSubstMaxDomain\] Suppose that $\totComp{i} = 1$ for all goods $i$. If $|J| \ge 2$, agent $j$ demands at most one unit of each good, and $\utilFn{j}$ is not a  utility function, then there exist sets $\Feas{k} \subseteq \{0,1\}^I$ of feasible bundles and  valuations $\val
\in \Feans{j } \mid \pprall \cdot \bunn \le \pprall \cdot \bunndowj } \util{j}{\bunn } = \log \frac{5}{11},$$ we have that $ \dH{j}{\p}{u } = \{(1,0)\}$ and that $ \dH{j}{\ppr}{\ub } = \{(0,0)\}$,[^30 ] so the decrease in the Marshallian demand for the second good as prices transfer from $ \p$ to $ \ppr$ at the endowment $ \bunndowj$ reflect an income effect. By Theorem   \[thm: netSubExist\ ],   exists whenever $ k$ has a   utility program function. For example, if $ k$ has a quasilinear utility affair with a   valuation given by Equation (\[eq: kUnitDem\ ]), then for the   specify by $ \bundowj = (0,1)$, $ \bundowag{k } = (1,0)$, and $ \numerdowj = \numerdowag{k } = 3,$ the price vector $ (3,2)$ and the allocation of commodity defined by $ \bunj = (1,0)$ and $ \bunag{k } = (0,1)$ comprise a.[^31 ] 

 In Case   \[eg: numericalLog\ ], agent $ j$ take   preferences — leading to the guaranteed existence of   when agent $ k$ has   preferences. By line, in Case   \[eg: numericalComp\ ], agent $ j$ does not have   preferences — and   may not exist when $ k$ have   preferences. 

 In general, final substitutability imprint a maximal domain for the universe of. Specifically, if an agent does not have   preferences, then   may not exist when the early agents have   quasilinear preferences. 

 \[prop: netSubstMaxDomain\ ] Suppose that $ \totComp{i } = 1 $ for all goods $ i$. If $ |J| \ge 2 $, agent $ j$ demand at about one unit of each good, and $ \utilFn{j}$ is not a   utility function, then there exist sets $ \Feas{k } \subseteq \{0,1\}^I$ of feasible bundles and   valuations $ \val
 \in \Feans{j} \mid \pprall \cdot \nunn \le \pprall \cbit \bunidowj} \ufil{j}{\bunn} = \log \frac{5}{11},$$ we have that $\dH{j}{\p}{n} = \{(1,0)\}$ qnd tyat $\dH{j}{\ppr}{\ub} = \{(0,0)\}$,[^30] so the aecrease pn the Maeshaooian demanv for thc seckkd gomv as prices chakge from $\p$ do $\ppr$ at the anaocment $\bunndowj$ reflects an income efsect. By Tjeorem \[thm:netSufExixe\],  exjsts whenever $k$ has a  utility funcfion. Fog example, if $k$ hax a quasilinear utility fujctiln with a  valuatioj given by Gsuaeuon (\[eq:kUnitDdm\]), then fog the  defingd by $\bundowj = (0,1)$, $\bundowag{k} = (1,0)$, and $\vumerbowj = \numereoqag{n} = 3,$ the pricx vectjr $(3,2)$ and the allocatimn of gpods defined bn $\buno = (1,0)$ qnd $\bunag{k} = (0,1)$ comprise a.[^31]

In Case \[eg:numericwlLog\], agett $j$ has  preferencew—lwadinc to the tuafanueev esistenfe kf  when agsnt $k$ has  peeferences. By contrsse, in Case \[eg:numsricalSoip\], agent $j$ does not have  preferences—and  mag not exist when $k$ has  preferences.

In general, net subseitutability forms a maximal domain for the existance kw. Skeglficxolj, if an agent does not have  preferences, then  izy npt exist when bhe other agents hsvf  aoasilinear prewerencza.

\[pdop:netSubstMaxDomaln\] Suppjse tyat $\totCoip{i} = 1$ for all goods $i$. If $|J| \ge 2$, qgent $j$ demauds at most one unit lf each goob, and $\otilFn{k}$ is not a  utility funccion, tgen there edist sets $\Weas{k} \subseteq \{0,1\}^I$ of faasible bundles and  valuatyons $\val
\in \Feans{j} \mid \pprall \cdot \bunn \le \bunndowj} = \log we have that $\dH{j}{\ppr}{\ub} \{(0,0)\}$,[^30] so the in the Marshallian for the second good as prices from $\p$ to $\ppr$ at the endowment $\bunndowj$ reflects an income effect. By \[thm:netSubExist\], exists whenever $k$ has a utility function. For example, if $k$ has quasilinear function a given by Equation (\[eq:kUnitDem\]), then for the defined by $\bundowj = (0,1)$, $\bundowag{k} = (1,0)$, and = \numerdowag{k} = 3,$ the price vector $(3,2)$ the allocation of goods by $\bunj = (1,0)$ and = comprise a.[^31] Case agent has preferences—leading to guaranteed existence of when agent $k$ has preferences. By contrast, in Case \[eg:numericalComp\], agent $j$ does not preferences—and may when $k$ preferences. general, substitutability forms a for the existence of. Specifically, if not have preferences, then may not exist when other agents quasilinear preferences. \[prop:netSubstMaxDomain\] Suppose that $\totComp{i} 1$ for all goods $i$. If $|J| \ge agent $j$ demands at most one unit of each good, and $\utilFn{j}$ is not a then there exist sets \subseteq \{0,1\}^I$ of bundles valuations
 \in \Feans{j} \mid \pprall \cdot \bunn \Le \pprall \cdOt \bunNdoWj} \uTiL{j}{\buNn} = \loG \frac{5}{11},$$ we have thaT $\DH{j}{\p}{U} = \{(1,0)\}$ and that $\dH{j}{\ppr}{\ub} = \{(0,0)\}$,[^30] so the dEcreaSe IN the mArShallIan demaND fOR The SeCoNd gOoD As PriceS chAnge froM $\p$ to $\ppr$ at tHe eNdOwment $\bunndoWJ$ rEflects an iNcoMe effect. By ThEorEm \[thm:nEtsubeXist\],  eXisTs wheNever $k$ HAs a  utiLity functIoN. for exaMPle, if $k$ hAS A qUasiLinear utility funcTIoN With a  valuation Given bY EQUaTIOn (\[eQ:kUNitDem\]), then FoR the  dEFined by $\BUnDOWJ = (0,1)$, $\buNDowag{k} = (1,0)$, and $\numeRdowj = \numerdOWag{K} = 3,$ the prIcE veCTor $(3,2)$ and The alLoCAtiOn of goods deFineD by $\bunj = (1,0)$ anD $\bunag{K} = (0,1)$ ComprisE A.[^31]

In Case \[Eg:numeRicAlLOg\], agENt $J$ hAs  pReFEreNCeS—leADinG to the guArAnTeed eXistENCE Of  whEn aGent $K$ has  pReferences. By cOntRast, IN CaSe \[eg:nUmeriCalCOmP\], agenT $j$ does Not haVe  Preferences—and  mAy noT exist wheN $k$ hAs  PreFeRenceS.

in geneRal, Net SubstitUtabiliTY foRmS A MAxImal domain for the exIsTENcE of. SpeciFicallY, If An AGent does NoT haVe  prEFErencEs, thEN  mAy not exiSt when THe OtHer agenTs Have  quAsIliNeaR prefERencEs.

\[prop:NetSubstmaxDoMAin\] Suppose that $\TOtComp{i} = 1$ for all GOoDS $I$. IF $|j| \ge 2$, aGenT $j$ demands at Most ONe unIt of EAcH goOD, and $\uTilFn{J}$ iS NoT A  utility function, theN tHere exIst seTs $\Feas{k} \subsetEq \{0,1\}^I$ of feasiBLE Bundles aNd  vaLUaTIons $\val
 \in \Feans{j} \mid \ppral l \cdot \b unn \ le\pp ra ll \ cdot  \bunndowj} \u t il{j }{\bunn} = \log \frac{ 5}{11 }, $ $ we ha ve th at $\dH { j} { \ p}{ u}  =  \{ (1 , 0) \}$ a ndthat $\ dH{j}{\ppr }{\ ub } = \{(0,0)\ } $, [^30] so t hedecrease inthe  Marsh al lia n  dema ndfor t he sec o nd goo d as pric es change from $\ p $  t o $\ ppr$ at the endow m en t  $\bunndowj$ r eflect sa ni n com e e ffect. ByTh eorem \[thm:n e tS u b E xis t \],  exists w henever $k$ has  a  ut il ity functi on. F or exa mple, if $k $ ha s a quasi linear utility functio n with  a va luat i on  g ive nb y E q ua tio n  (\ [eq:kUni tD em \]),then f o r  the   d efin ed by  $\bundowj =(0, 1)$, $\b undow ag{k}  = ( 1, 0)$,and $\ numer do wj = \numerdowa g{k}  = 3,$ th e p ri ceve ctor$ (3,2)$  an d t he allo cationo f g oo d s de fined by $\bunj =(1 , 0 )$  and $\b unag{k }  =  ( 0 ,1)$ com pr ise  a.[ ^ 3 1]

I n Ca s e\[eg:num erical L og \] , agent  $ j$ has  pre fer ences — lead ing to  the gua rante e d existence of  when agent $ k $h a spref ere nces. By co ntra s t, i n Ca s e\[e g :nume rical Co m p\ ] , agent $j$ does no thave prefe rences—and  m ay not exi s t when $k$  has  p r eferences.

In  gene ral, net s u bstituta bilit y formsa maximal d omain fo r t heexi ste n c eof. Specifica l l y, i fan agen t d oes not  ha ve pr efe re nces, the n  may n ot  e xi st  wh en th e  other a ge nts  h ave   qua s ilinea r pre fere nc es . 

\ [prop:n e tS u b stMa xD om ain\ ] S up posethat $\t otComp{ i} = 1$ f ora ll g oo ds  $i$. I f $|J| \ge 2$ ,agent $j$de man ds atm o st one u nit of each good, and $ \ utilFn{ j}$  is n ot a   utility  fu nction , t h en the re exi st se ts  $\ F e as{k} \ su bse te q \{0,1\}^ I $  of  feas ib le b undlesand  valuations $\ v al
 \in_\Feans{j} \mid_\pprall \cdot \bunn \le_\pprall \cdot_\bunndowj}_\util{j}{\bunn} =_\log_\frac{5}{11},$$ we have_that $\dH{j}{\p}{u} =_\{(1,0)\}$ and that $\dH{j}{\ppr}{\ub}_= \{(0,0)\}$,[^30] so_the_decrease in the Marshallian demand for the second good as prices change from $\p$_to_$\ppr$ at_the_endowment_$\bunndowj$ reflects an income effect._By Theorem \[thm:netSubExist\],  exists whenever $k$_has a_ utility function. For example, if $k$ has a_quasilinear_utility function with_a  valuation given by Equation (\[eq:kUnitDem\]), then for the_ defined by $\bundowj = (0,1)$, $\bundowag{k}_= (1,0)$, and_$\numerdowj_=_\numerdowag{k} = 3,$ the_price vector $(3,2)$ and the allocation_of goods defined by $\bunj =_(1,0)$ and $\bunag{k} = (0,1)$ comprise a.[^31]

In_Case \[eg:numericalLog\], agent $j$ has  preferences—leading to_the guaranteed existence of  when_agent $k$_has  preferences. By contrast, in_Case \[eg:numericalComp\], agent $j$_does not_have  preferences—and  may_not exist when $k$ has  preferences.

In_general, net substitutability_forms a maximal domain for the_existence_of. Specifically, if_an_agent_does not_have  preferences, then_ may_not exist_when_the other agents have  quasilinear preferences.

\[prop:netSubstMaxDomain\]_Suppose_that $\totComp{i} = 1$ for all goods_$i$. If $|J| \ge_2$,_agent $j$ demands at_most one unit of each_good, and $\utilFn{j}$ is not a_ utility function,_then there_exist sets $\Feas{k} \subseteq \{0,1\}^I$ of feasible bundles and  valuations $\val