weak semantics