I'll add the TODO, though looking at that i'm not sure how it can be used to prove the locates will return nodes?