Assertion list
observable universe (subgroup of universe ) → ReceivesAction
Results from Ascent++: 1
observable universe → ReceivesAction → connected 0.25