Assertion list
peer (primary) → Desires
Results from Ascent++: 1
peer → Desires → find desired piece of data 0.25