expectWrite

The caller may change the aggregate.