straightened semantics, shortened constants