When a change is applied to any entity in our aggregate, all variables must be satisfied.
Quando un cambiamento è applicato a una qualsiasi delle entità del nostro aggregato, tutte le invarianti devono essere soddisfatte.