The first problem was you can't actually put the library onto the battlefield
[EX5-070 X Antibody Proto Form]'s inherited effect will trigger/activate "when this Digimon would leave the battle area other than by one of your effects," but since [EX5-070 X Antibody Proto Form] isn't in this Digimon's digivolution cards at the time of activation of the [On Deletion] effect because it's placed in your security stack before this Digimon is deleted, the "if [X Antibody] was in this Digimon's digivolution cards" condition isn't met, so the effect doesn't activate
We may in our discretion reject your registration or bid, revoke your bid even if previously accepted, withdraw or divide any lot or combine one or more lots, and resolve any bidding disputes, absolutely and finally
It's either a super-long, strangely-proportioned centipede cow or a sentient dining table, and I'm not sure which makes more sense for this setting
Okay, funny, but seriously, its not just that the Dwarf tribe isnt in the same zip code as the Goblin tribe
