Before, if an operation defined by me, such as LIB-OP, did not traverse a system, then the only operation we got was that operation applied on the system, as a generic object.
Now TRAVERSE not only imposes the LIB-OP operation on the system, but it also scans the components and imposes the operation on the components.