Should we also assert that its state is correct?