to auction [ auctioned ; auctioned ]