What farmers gain most of all from the increase in agricultural productivity, of course, is choice.