Cancellation for kind2