Sorry, I should have quoted what I was calling an auction from the comment: > a mutually agreeable trade that would otherwise have increased the utility of bot

Sorry, I should have quoted what I was calling an auction from the comment: > a mutually agreeable trade that would otherwise have increased the utility of both parties.