what's the best kind of semantics for a programming language?a defined semantics. any kind. this is a very tough bar to clear.