clarify uniqueness principle for truncations, close #512