Example: AGG bound to 2VDM