Would you say you understand the substantive policy implications of the Diamond-Mirrlees production efficiency lemma? Explanation here and poll below.