Decree of Justice

[FranAvalon]

The first time I cast it, there was no problem. The program let me choose angels or knights (cycling), any number of them according to the number of lands tapped. But the second time I cast it (in the same game), there was no angels options on the action list, just knights. Although I tapped 12 lands, so X=4, and the program should give me the option of obtain 4 angels.