State Estimation Works Correctly