C [ S i ] ( C ) ( ! C 1 = C C = C C = C 1 ) C 1 = C C = C C = C 1