Assertion list
future (primary) → DefinedAs
Results from Ascent++: 1
future → DefinedAs → restlessness 0.18