Correct inital state test