[abstractdomain005.png]