Assertion list for term "cut tight".

Results from Ascent++: 1
outline ReceivesActioncut tight 0.25