Identification of correctness