clarify uniqueness principle for truncations, close #512
Merge pull request #543 from mikeshulman/truncuniq

clarify uniqueness principle for truncations, close #512