[abstractdomain003.png]