The Semantics of Case