What would be the exact semantics of `FIELDS`? Validation upon field access?