type proliferation.