Add some function:
isUnique
isWellFormed