Comment by munchler

As a fan of the Curry-Howard correspondence, I approve of this decision.