First version of new semantics