When the client inserts an Order and some Lineitems, the business logic must check that the balance < creditLimit.  This requires that we derive the Customer's balance from the Order.amountUnPaid, a rollup of the Lineitem amounts.

These rules:

This example illusrates that rules apply automatically to many Stories: