multiplicative rank growth is optional in amen_sum