Assertion list
monitor (primary) → Desires
Results from Ascent++: 1
monitor → Desires → see smooth increase 0.30