team/stable: links for abstractdomain