Annul can counter Survival of the Fittest and Sylvan Library when they are cast as spells, since both are enchantments; it can't do anything about Survival activations, which are abilities. Exalted Angel is a large flying body that outclasses their creature base and gains life whenever it deals damage, which helps against their aggression. Decree of Justice is the cut to make room for it, since a six-plus mana sorcery is slow against Armageddon and Wasteland. Dust Bowl is trimmed to one copy because it is slow and costs a land, though Gaea's Cradle and Treetop Village remain fine targets. Prohibit stays in: their early plays (Birds, Elves, Survival) all have mana value 2 or less, so it counters exactly the spells they lead with. Wrath of God remains excellent against their wide board of small creatures.