Assertion list for term "proven in 2nd screenshot".
Results from Ascent++: 1
value (aspect of promise) → ReceivesAction → proven in 2nd screenshot 0.25