A gray check mark appears when work on a line appears to be mathematically correct, but Gradarius cannot see how it is related to what was given in the reference solution.