What Semantics ought to do