root/andrea: links for abstractdomain