Assertion list for term "finish on the reverse".

Results from Ascent++: 1
proof CapableOffinish on the reverse 0.25