Added partition semantics
clarified exposition