Fixed exact semantics implementation