Better Semantics