[abstract++Z.+Yaacov]