c(s,t) is done