Chris's new semantics.