whl/mainbox: links for abstractdomain