prove request case of query invariant (w/ some list lemma admits)
prove request case of query invariant (w/ some list lemma admits)

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord