"correctness" - key terms from Wikipedia