improvements to the language. discussion slightly rewritten