C1(C)=C(C1)C