O(C)C(CC(C)C)=C(C)C