correctness checker upd