isWellFormed