If there is a business rule stating that a Customer object must be associated with every SalesTransaction, it can BEST be enforced by: