Complete first version of fine-grained cancellation