Title: An example of auction design