Unit-B semantics