Forum:Armades vs Assault Halberd

Ok, i am asking about this because of what might be a bug in Ygopro, but since i saw similar cases which weren't bugs, i would like to ask this: My opponent has an ATK position Armades, Keeper of Boundaries and i have an ATK position Heroic Challenger - Assault Halberd as well as a Forbidden Lance ready to be used. During my MP1, i use forbiden lance on Armades to weaken him, and proceed to attack it with Halberd. When i inflict damage, i am given the option to activate its searching effect, even though at that moment, though it has been decided that armades has been destroyed, is still on the field. Is this how it happens? And why? Also, on related notes: I have a Fossil Dyna Pachycephalo in ATK mode, and Heroic Challenger - Thousand Blades in my grave. My opponent attacks my Dyna, inflicting damage, and yet, i am given the option to summon Challenger. That's a legal thing too, right? Finally: I have a Doomcaliber Knight in ATK mode, and 1000 Blades in my grave. The opponent attacks Doom with a high atk monster, infliting damage (and probably destroying it). I am given the option to activate 1000 blades, but if i do, Knight activates, tributes itself and negates it on ygopro. Is this legit too? Thanks for your time. Imadmagician (talk • contribs) 18:21, January 2, 2016 (UTC)