correct auction_theory