AlleyCat, Tool Thief

This spell costs {1} less for each artifact you control.
When AlleyCat, Tool Thief enters the battlefield, mill four cards.
{t}: Choose target artifact card in your graveyard. You may cast that card this turn. (You still pay it's casting costs. Timing rules still apply.)