I believe this assertion is not needed, right?