[abstractdomain004.png]