add checkable invariant on uniqueness
add checkable invariant on uniqueness
10 invariant failures