try to verify the correctness