Behavior contracts related domains (2)