Tightened semantics of (what are now called) hard fields.
Self-review.