Think it would be a good idea to also check that the internal state is correct.