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