badger comments on [Sequence announcement] Introduction to Mechanism Design