cA/(\cA\cap \cC)\bigr)=0$. For $B\in \cB$ and $A\in \cA$, a morphism $B\to A$ in $\cD/\cC$ is represented by a roof $$B \xleftarrow{\beta} D \xrightarrow{\alpha} A$$ where $\beta\colon D\to B$ is a morphism in $\cD$ with $\cone(\beta)\in \cC$ and $\alpha\colon D\to A$ is any morphism in $\cD$; see [@Neeman Def. 2.1.11]. Put $C \coloneqq \cone(\beta)[-1] \in \cC$. We apply the triangle of functors $i^*_\cA \to \id \to i^!_\cB \to$ (formally, $i^*_\cA$ has to be replaced by $i_\cA i^*_\cA$ and $i^!_\cB$ by $i_\cB i^!_\cB$) to the triangle of objects $C\to D\to B \to$ and obtain the diagram $$\xymatrix@C=2em@R=3ex{
i^!_\cB C \ar[r] \ar[d] & i^!_\cB D \ar[r] \ar[d]^\gamma & B \ar[d] \\
        C \ar[r] \ar[d] &         D \ar[r] \ar[d] & B \ar[d] \\
i^*_\cA C \ar[r]        & i^*_\cA D \ar[r]        & 0 \\
}$$ where we have used $i^!_\cB B = B$ and $i^*_\cA B = 0$. Now $i^!_\cB C \in \cC\cap\cB$ by assumption. The left column thus forces $i^*_\cA C \cong i^*_\cA D \in \cC$. We get that $\cone{\beta\gamma}\in \cC$ since $\cone{\beta}, \cone{\gamma}\in \cC$; see [@Neeman Lem. 1.5.6]. Therefore, we get another roof representing the same morphism in $\cD/\cC$, replacing $D$ by $i^!_\cB D$:
cA/(\cA\cap \cC)\bigr)=0$. For $ B\in \cB$ and $ A\in \cA$, a morphism $ B\to A$ in $ \cD/\cC$ is represented by a roof $ $ B \xleftarrow{\beta } D \xrightarrow{\alpha } A$ $ where $ \beta\colon D\to B$ is a morphism in $ \cD$ with $ \cone(\beta)\in \cC$ and $ \alpha\colon D\to A$ is any morphism in $ \cD$; visualize [ @Neeman Def.   2.1.11 ]. place $ C \coloneqq \cone(\beta)[-1 ] \in \cC$. We apply the triangle of functors $ i^*_\cA \to \id \to i^!_\cB \to$ (formally, $ i^*_\cA$ have to be replaced by $ i_\cA i^*_\cA$ and $ i^!_\cB$ by $ i_\cB i^!_\cB$) to the triangle of object $ C\to D\to bel \to$ and obtain the diagram $ $ \xymatrix@C=2em@R=3ex { 
 i^!_\cB C \ar[r ] \ar[d ] & i^!_\cB D \ar[r ] \ar[d]^\gamma & B \ar[d ] \\ 
         C \ar[r ] \ar[d ] &          D \ar[r ] \ar[d ] & B \ar[d ] \\ 
 i^*_\cA C \ar[r ]         & i^*_\cA D \ar[r ]         & 0 \\ 
 } $ $ where we have use $ i^!_\cB B = B$ and $ i^*_\cA B = 0$. immediately $ i^!_\cB C \in \cC\cap\cB$ by assumption. The left column therefore forces $ i^*_\cA C \cong i^*_\cA D \in \cC$. We get that $ \cone{\beta\gamma}\in \cC$ since $ \cone{\beta }, \cone{\gamma}\in \cC$; see [ @Neeman Lem.   1.5.6 ]. Therefore, we get another roof represent the same morphism in $ \cD/\cC$, replacing $ D$ by $ i^!_\cB D$:
cA/(\cW\cap \cC)\bigr)=0$. For $B\in \cB$ akd $A\in \cA$, a morpkusm $B\tm A$ in $\cD/\cC$ is represented by a roof $$B \xlehtareow{\beuc} D \xrightarrow{\alpha} A$$ where $\heta\colob D\ti B$ is a moclhism ik $\cD$ slth $\cmie(\beta)\in \cC$ and $\alpha\colot D\to A$ is any mur'hism in $\cD$; see [@Neeman Def. 2.1.11]. Put $C \coljneqq \cpnf(\beta)[-1] \in \cC$. We appkr ths triangle of functors $i^*_\cA \to \id \tk i^!_\cB \tm$ (formally, $i^*_\cS$ has to be replaced by $i_\cW i^*_\cW$ and $i^!_\cB$ by $i_\cB i^!_\fB$) to the ttjandoe of objectr $C\to D\to B \to$ and obtzin the diagram $$\xymatrix@C=2em@R=3ex{
i^!_\zB C \cr[r] \ar[d] & i^!_\cV E \ag[t] \ar[d]^\gamma & U \ar[d] \\
        C \ar[v] \ar[d] &         D \ar[r] \ar[d] & B \sr[d] \\
i^*_\cQ C \ar[r]        & i^*_\cA D \ar[r]        & 0 \\
}$$ whete we have uaed $i^!_\cB B = B$ and $u^*_\cQ B = 0$. Now $i^!_\cB X \iv \cD\cep\cG$ by adsujption. The left columb thus forces $i^*_\cA C \cjbg i^*_\cA D \in \cD$. We gqt that $\cone{\beta\gamma}\in \cC$ since $\cone{\beta}, \cohe{\gamma}\in \cC$; see [@Neeman Lem. 1.5.6]. Therefore, we get another woof representing the same morphism in $\cD/\cC$, replawing $V$ cy $n^!_\gN D$:
cA/(\cA\cap \cC)\bigr)=0$. For $B\in \cB$ and $A\in morphism A$ in is represented by \xrightarrow{\alpha} where $\beta\colon D\to is a morphism $\cD$ with $\cone(\beta)\in \cC$ and $\alpha\colon A$ is any morphism in $\cD$; see [@Neeman Def. 2.1.11]. Put $C \coloneqq \in \cC$. We apply the triangle of functors $i^*_\cA \to \id \to i^!_\cB (formally, has be by $i_\cA i^*_\cA$ and $i^!_\cB$ by $i_\cB i^!_\cB$) to the triangle of objects $C\to D\to B and obtain the diagram $$\xymatrix@C=2em@R=3ex{ i^!_\cB C \ar[r] & i^!_\cB D \ar[r] & B \ar[d] \\ C \ar[d] D \ar[r] & \ar[d] i^*_\cA C \ar[r] i^*_\cA D \ar[r] & 0 \\ }$$ where we have used $i^!_\cB B = B$ and $i^*_\cA = 0$. C \in by The column thus forces \cong i^*_\cA D \in \cC$. We \cC$ since $\cone{\beta}, \cone{\gamma}\in \cC$; see [@Neeman Lem. Therefore, we another roof representing the same morphism $\cD/\cC$, replacing $D$ by $i^!_\cB D$:
cA/(\cA\cap \cC)\bigr)=0$. For $B\in \cB$ and $A\In \cA$, a morphIsm $B\tO A$ iN $\cD/\CC$ Is rePresEnted by a roof $$B \xLEftaRrow{\beta} D \xrightarrow{\alPha} A$$ wHeRE $\betA\CoLon D\tO B$ is a moRPhISM in $\CD$ WiTh $\cOnE(\BeTa)\in \cc$ anD $\alpha\cOlon D\to A$ is Any MoRphism in $\cD$; seE [@neEman Def. 2.1.11]. Put $c \coLoneqq \cone(\beTa)[-1] \iN \cC$. We aPpLy tHE triaNglE of fuNctors $I^*_\CA \to \id \To i^!_\cB \to$ (foRmALly, $i^*_\cA$ HAs to be rEPLaCed bY $i_\cA i^*_\cA$ and $i^!_\cB$ by $i_\cb I^!_\cb$) To the triangle oF objecTs $c\To d\TO B \tO$ anD obtain the DiAgram $$\XYmatrix@c=2Em@r=3EX{
I^!_\cB c \Ar[r] \ar[d] & i^!_\cB D \ar[r] \Ar[d]^\gamma & B \ar[D] \\
        c \ar[R] \ar[d] &         D \aR[r] \Ar[d] & b \Ar[d] \\
i^*_\cA c \ar[r]        & i^*_\CA d \Ar[r]        & 0 \\
}$$ Where we have Used $I^!_\cB B = B$ and $i^*_\CA B = 0$. Now $I^!_\CB C \in \cC\CAp\cB$ by aSsumptIon. the Left COlUmN thUs FOrcES $i^*_\CA C \COng I^*_\cA D \in \cC$. we GeT that $\Cone{\BETA\GammA}\in \CC$ siNce $\coNe{\beta}, \cone{\gamMa}\iN \cC$; sEE [@NeEman LEm. 1.5.6]. TheRefoRe, We get AnotheR roof RePresenting the saMe moRphism in $\cd/\cC$, RePlaCiNg $D$ by $I^!_\CB D$:
cA/(\cA\cap \cC)\bigr)=0$.  For $B\in  \cB$  an d $ A\ in \ cA$,  a morphism $B \ to A $ in $\cD/\cC$ is repr esent ed by a ro of $$ B \xlef t ar r o w{\ be ta } D  \ x ri ghtar row {\alpha } A$$ wher e $ \b eta\colon D\ t oB$ is a mo rph ism in $\cD$  wi th $\c on e(\ b eta)\ in\cC$and $\ a lpha\c olon D\to  A $  is an y  morphi s m  i n $\ cD$; see [@Neeman De f . 2.1.11]. Put  $C \c ol o ne q q  \c one (\beta)[-1 ]\in \ c C$. Wea pp l y the triangle of f unctors $i^ * _\c A \to\i d \ t o i^!_ \cB \ to $  (f ormally, $i ^*_\ cA$ has t o be r e placedb y $i_\c A i^*_ \cA $ a nd $ i ^! _\ cB$  b y  $i _ \c B i ^ !_\ cB$) toth etrian gleo f o bjec ts$C\t o D\t o B \to$ andobt aint hediagr am $$ \xym at rix@C =2em@R =3ex{ 
i ^!_\cB C \ar[r]  \ar [d] & i^! _\c BD \ ar [r] \ a r[d]^\ gam ma& B \ar [d] \\   C  \ ar[r] \ar[d] &     D  \ar[r]\ar[d] &B\ ar[d] \\ 
i ^*_ \cAC \ar[r ]     & i^*_ \cA D\ ar [r ]      & 0 \\ 
} $$whe re we have  used$i^!_\cB  B =B $ and $i^*_\cA B = 0$. Now $ i ^! _ \ cB C \i n \ cC\cap\cB$by a s sump tion .  T hel eft c olumn  t h us forces $i^*_\cA C \ co ng i^* _\cAD \in \cC$. W e get that $ \ cone{\be ta\g a mm a }\in \cC$ sinc e $\c one{\beta} ,  \cone{\ gamma }\in \cC $; see [@ N e eman Lem . 1 .5. 6].  Th e r ef ore, we get a n o ther  r oof rep res entingthe  sa memor ph ism in $\ cD/\cC$,  r ep la ci ng$D$ b y  $i^!_\c BD$: 
cA/(\cA\cap \cC)\bigr)=0$._For $B\in_\cB$ and $A\in \cA$,_a morphism_$B\to_A$ in_$\cD/\cC$_is represented by_a roof $$B_\xleftarrow{\beta} D \xrightarrow{\alpha} A$$_where $\beta\colon D\to_B$_is a morphism in $\cD$ with $\cone(\beta)\in \cC$ and $\alpha\colon D\to A$ is any_morphism_in $\cD$;_see_[@Neeman_Def. 2.1.11]. Put $C \coloneqq \cone(\beta)[-1]_\in \cC$. We apply the_triangle of_functors $i^*_\cA \to \id \to i^!_\cB \to$ (formally,_$i^*_\cA$_has to be_replaced by $i_\cA i^*_\cA$ and $i^!_\cB$ by $i_\cB i^!_\cB$)_to the triangle of objects $C\to_D\to B \to$_and_obtain_the diagram $$\xymatrix@C=2em@R=3ex{
i^!_\cB C_\ar[r] \ar[d] & i^!_\cB D \ar[r]_\ar[d]^\gamma & B \ar[d] \\
 _      C_\ar[r] \ar[d] &   _    _D \ar[r]_\ar[d] & B \ar[d] \\
i^*_\cA_C \ar[r] _ _  _ & i^*_\cA D \ar[r] _  _   & 0 \\
}$$_where_we have used_$i^!_\cB_B_= B$_and $i^*_\cA B_=_0$. Now_$i^!_\cB_C \in \cC\cap\cB$ by assumption. The_left_column thus forces $i^*_\cA C \cong i^*_\cA_D \in \cC$. We_get_that $\cone{\beta\gamma}\in \cC$ since_$\cone{\beta}, \cone{\gamma}\in \cC$; see [@Neeman_Lem. 1.5.6]. Therefore, we get another roof_representing the_same morphism_in $\cD/\cC$, replacing $D$ by $i^!_\cB D$: