invariant verification (after creation)
comment changes