Assertion list
future (primary) → Causes
Results from Ascent++: 1
future → Causes → the past 0.34