The Seven Dwarfs

Create X 2/1 red Dwarf creature tokens
with haste. If X is greater than seven,
instead create seven 2/1 red Dwarf creature tokens with haste, and put a +1/+1 counter
on each of them for each {1} more than
seven used to pay X.