The assumption that pitch is produced to optimize the sum of effort plus error can be converted into a quantitative mathematical model.
