Assertion list
ring (primary) → Causes
Results from Ascent++: 1
ring → Causes → space-time 0.27