1.D(A(c),B(e),C(a,L(b,c,d,)))2.J(J2,(J1,a,J3(J1)),J3(J1))