Assertion list
miner (primary) → Desires
Results from Ascent++: 2
miner → Desires → only one thing 0.33
miner → Desires → solution 0.32