/ atw -> shasha -> 

basicdist:{res: {y(1+&)\(1_ x)&(-1_ x)-z}\[!1+#y;1+!#x;x=\:y]; res[#x][#y]}