Alternative semantics