Output semantics