Jefferton

Jefferton comes into play with 3 city council
tokens on it; you may remove 1 each upkeep.
{t}: add {b}{g}
If Jefferton is tapped with 3 city council tokens,
you may pay 17 life, mill 15, discard your hand,
then search your deck or graveyard for The
Mayor, Mayor, and put it into play with Haste,
then remove all tokens from Jefferton.