Assertion list
champion (primary) → Desires
Results from Ascent++: 1
champion → Desires → tear down the wall of separation 0.25