Added "Enforcing Invariants on Aggregate Creation"