Before revision:  With an additional\texttt{  Strong-Law-type assumption, we show that the total number of file fetches under \texttt{LeadCache} remains almost surely finite .
After revision:  With an additional\texttt{LeadCache Strong-Law-type assumption, we show that the total number of file fetches under \texttt{LeadCache} remains almost surely finite .