It's the purpose of this function (it's an assert...)