If they pay $12.50 then they would end up with the same total contribution i.e. they would be no better off (and no worse off). So there would not be much point.
So they will pay anything up to $12.50. For every $0.01 below $12.50 they will make an extra $0.01 total contribution.