When The First Doctor enters the battlefield, search your library and/or graveyard for a card named TARDIS, reveal it, and put it into your hand. If you search your library this way, shuffle. Whenever you cast a spell with cascade, put a +1/+1 counter on target artifact or creature.