1: \begin{definition}\label{def:b}

2: Let $W(x)$ be the unique stationary profile established in 

3: Theorem~\ref{tm1} 

4: with 

5: $$W(0) = \rho^*, \qquad \mbox{where}\quad f(\rho^*)=0.$$

6: Let $\{z_i\}$ be a distribution of cars, with local densities $\{\rho_i\}$ defined 

7: as in~\eqref{defrho}. 

8: We call $W^\sharp(x,h_+)$ {\em the upper envelope for the distribution 

9: $\{z_i\}$},  if 

10: $$ h_+ =\sup\left\{ h ~: ~\rho_i \le W(z_i -h) \mbox{ for every } i \right\}.$$

11: Similarly, we call $W^\flat(x,h_-)$ {\em the lower envelope for the distribution 

12: $\{z_i\}$},  if 

13: $$ h_- = \inf\left\{ h ~: ~\rho_i \ge W(z_i -h) \mbox{ for every } i \right\}.$$

14: \end{definition}

15: