removed field invariant