cond and explanation of semantics' purpose