Assertion list for term "depend on topology".

Results from Ascent++: 1
proof CapableOfdepend on topology 0.33