I don't think we need to assert this (we don't really care, it's just a side-effect. I think if someone implements it differently in the future, the test shouldn't break).