Is a Precise Semantics Desirable? For What Purpose?