Derevi, Empyrial Tactician

Flying
When Derevi, Empyrial Tactician enters and whenever a creature you control deals combat damage to a player, you may tap or untap target permanent.
{1}{G}{W}{U}: Put Derevi onto the battlefield from the command zone.

Kona, Rescue Beastie

Survival — At the beginning of your second main phase, if Kona, Rescue Beastie is tapped, you may put a permanent card from your hand onto the battlefield.

Thalia, Guardian of Thraben

First strike
Noncreature spells cost {1} more to cast.

Lavinia, Azorius Renegade

Each opponent can't cast noncreature spells with mana value greater than the number of lands that player controls.
Whenever an opponent casts a spell, if no mana was spent to cast it, counter that spell.