Assertion list for term "leave original coins".

Results from Ascent++: 1
bit CapableOfleave original coins 0.25