Clarifying the semantics.  Still more needs to be done.
merged