Some assertions are added.