smoooth semantics