Work on new semantics
New semantics: t+
New semantics: t+