Modified the semantics