Hero of Benalia

Hero of Benalia enters the battlefield with X
+1/+1 counters on it.
Players can't cast noncreature spells with
converted mana cost Y, where Y is the number
of +1/+1 counters on Hero of Benalia.
As long as Hero of Benalia has three or more
+1/+1 counters on it, it has first strike.
"...and the wicked but wither in his presence."