The value of a program is proportional to the weight of its output.