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