Improving semantics