contraction for SCC