Iron Man, Titan of Innovation

Flying, haste

Genius Industrialist — Whenever Iron Man attacks, create a Treasure token, then you may sacrifice a noncreature artifact . If you do, search
your library for an artifact card with mana value equal to 1 plus the sacrificed artifact's mana value,
put it onto the battlefield tapped, then shuffle.