I don't understand the point of this assert, it seems to say the exact same thing as the `if` below?