Better semantics?