S(C(C)C)C(C)C