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 a 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 Fig. \ref{fig:inconsistent}. 

10: 

11: \begin{figure}

12:         \centering

13:                 \includegraphics[height=8cm, angle=270]{i-sep}

14:         \caption{Theory and simulation for inconsistent lookups $I(r,\alpha)$.}

15:         \label{fig:inconsistent}

16: \end{figure}

17: