Jurassic Snack XY13 Activate only during the declare

Activate only during the declare attackers step and only if you've been attacked this step

{T}: Tap target creature

reveal Progenitus and shuffle it into its owner's library instead

but they more or less fell under the command and control of one of these great powers

Jurassic Snack XY13 Activate only during the declareYoung Diplodocuses (Diplos) are fond of the tasty leaves offered by the neighboring pastures. To win, your Diplo team has to eat more leaves than your opponent's teamunless one of you decides to call the ferocious T. Rex to get rid of all his opponent's Diplos! To set up Jurassic Snack, create a square at random with the four playing boards, place four Diplos of your color on the matching egg spaces, then shuffle the grass tokens and place them face