Composite operations: on more cancellation semantics
Minor change