proconcentration

not defined yet