Assertion list for term "work within one process".

Results from Ascent++: 1
proof CapableOfwork within one process 0.16