SET D=A(t(l(D(t(l(x(t(l(x))))))))))