Assertion list for term "fit in the margin".

Results from Ascent++: 1
proof CapableOffit in the margin 0.27