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