Correct abstraction of fields