Add label for icp

But it doesn't work(may diverge)