Correct state analyze