Definition of "correctness"

correctness