Final version -- discussed with Lars and Matt over dinner.