A Measure of Complexity for Strategy-Proof Mechanisms  (with Lea Nagel

Revise & resubmit at Econometrica. Extended abstract in EC'23.