kill(all);

abs(z+4)<3;

abs(z+4-3)<3-3;