If you have a card effect that removes the highest stage pokemon, and this effect is played on a Lv. X, my understanding is that the highest non-level x gets removed, and then the level x must be discarded because it no longer applies. Is this correct? If used against a basic Lv. X pokemon, do...