A production function