Added sentence about semantic correctness.