Adds correct semantics