Fixed semantics