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.