validating the correctness Synonym