[abstractdomain002.png]