why this assertion is necessary?