Ascent++ | continue to be proven on the channel

Assertion list for term "continue to be proven on the channel".

Results from Ascent++: 1

present → ReceivesAction → continue to be proven on the channel

0.25