Code of Constraint

Target creature gets -4/-0 until end of turn.
Draw a card.
Addendum — If you cast this spell during your main phase, tap that creature and it doesn't untap during its controller's next untap step.

Summary Judgment

Summary Judgment deals 3 damage to target tapped creature.
Addendum — If you cast this spell during your main phase, it deals 5 damage instead.

Elite Arrester

Windstorm Drake

Flying
Other creatures you control with flying get +1/+0.

Island

Azorius Guildgate

Azorius Guildgate enters tapped.
{T}: Add {W} or {U}.

Prowling Caracal

Chillbringer

Flying
When Chillbringer enters, tap target creature an opponent controls. It doesn't untap during its controller's next untap step.

Arrester's Zeal

Target creature gets +2/+2 until end of turn.
Addendum — If you cast this spell during your main phase, that creature gains flying until end of turn.

Azorius Knight-Arbiter

Vigilance
Azorius Knight-Arbiter can't be blocked.

Senate Courier

Flying
{1}{W}: Senate Courier gains vigilance until end of turn.

Dovin's Automaton

As long as you control a Dovin planeswalker, Dovin's Automaton gets +2/+2 and has vigilance. (Attacking doesn't cause it to tap.)

Sphinx's Insight

Draw two cards.
Addendum — If you cast this spell during your main phase, you gain 2 life.

Plains

Dovin's Dismissal

Put up to one target tapped creature on top of its owner's library. You may search your library and/or graveyard for a card named Dovin, Architect of Law, reveal it, and put it into your hand. If you search your library this way, shuffle.

Concordia Pegasus

Spirit of the Spires

Flying
Other creatures you control with flying get +0/+1.

Tenth District Veteran

Vigilance
Whenever Tenth District Veteran attacks, untap another target creature you control.

Unbreakable Formation

Creatures you control gain indestructible until end of turn.
Addendum — If you cast this spell during your main phase, put a +1/+1 counter on each of those creatures and they gain vigilance until end of turn.

Verity Circle

Whenever a creature an opponent controls becomes tapped, if it isn't being declared as an attacker, you may draw a card.
{4}{U}: Tap target creature without flying.

Dovin, Architect of Law

+1: You gain 2 life and draw a card.
−1: Tap target creature. It doesn't untap during its controller's next untap step.
−9: Tap all permanents target opponent controls. That player skips their next untap step.