1: %\begin{figure}

2: %	\centering

3: %		\includegraphics[height=7cm, angle=270]{b}

4: %	\caption{Theory and Simulation for $B(r,\alpha)$}

5: %	\label{fig:b}

6: %\end{figure}

7: 

8: {\bf Lookup Consistency} By the lookup protocol, a lookup is inconsistent if the immediate predecessor of the sought key has an wrong $s_1$ pointer. However, we need only  consider the case when the $s_1$ pointer is pointing to an alive (but incorrect) node since our implementation of the protocol always requires the lookup to return an alive node as an answer to the query. The probability that a lookup is inconsistent $I(r,\alpha)$ is hence $w_1(r,\alpha)- d_1(r,\alpha)$.

9: This prediction matches the simulation results very well,  as shown in figure \ref{fig:wi}. 

10: 

11: 

12: