From 395a327cd394ce1c3db6b0709ccca99485020a5b Mon Sep 17 00:00:00 2001
From: jmlundeen <jmlundee@yahoo.com>
Date: Thu, 27 Nov 2025 09:40:25 -0600
Subject: [PATCH] fix verify

---
 Mage.Sets/src/mage/cards/a/ArchangelAvacyn.java      |  7 +++++--
 Mage.Sets/src/mage/cards/c/CragcrownPathway.java     |  2 --
 .../src/mage/cards/t/TamiyoInquisitiveStudent.java   | 12 +++++-------
 3 files changed, 10 insertions(+), 11 deletions(-)

diff --git a/Mage.Sets/src/mage/cards/a/ArchangelAvacyn.java b/Mage.Sets/src/mage/cards/a/ArchangelAvacyn.java
index 67f36d8526b..34a0e408081 100644
--- a/Mage.Sets/src/mage/cards/a/ArchangelAvacyn.java
+++ b/Mage.Sets/src/mage/cards/a/ArchangelAvacyn.java
@@ -10,7 +10,10 @@ import mage.abilities.effects.common.DamageAllEffect;
 import mage.abilities.effects.common.DamagePlayersEffect;
 import mage.abilities.effects.common.TransformSourceEffect;
 import mage.abilities.effects.common.continuous.GainAbilityControlledEffect;
-import mage.abilities.keyword.*;
+import mage.abilities.keyword.FlashAbility;
+import mage.abilities.keyword.FlyingAbility;
+import mage.abilities.keyword.IndestructibleAbility;
+import mage.abilities.keyword.VigilanceAbility;
 import mage.cards.CardSetInfo;
 import mage.cards.TransformingDoubleFacedCard;
 import mage.constants.*;
@@ -46,7 +49,7 @@ public final class ArchangelAvacyn extends TransformingDoubleFacedCard {
         this.getRightHalfCard().setPT(6, 5);
 
         // Flash
-        this.addAbility(FlashAbility.getInstance());
+        this.getLeftHalfCard().addAbility(FlashAbility.getInstance());
 
         // Flying
         this.getLeftHalfCard().addAbility(FlyingAbility.getInstance());
diff --git a/Mage.Sets/src/mage/cards/c/CragcrownPathway.java b/Mage.Sets/src/mage/cards/c/CragcrownPathway.java
index 4834947b805..97926995e49 100644
--- a/Mage.Sets/src/mage/cards/c/CragcrownPathway.java
+++ b/Mage.Sets/src/mage/cards/c/CragcrownPathway.java
@@ -1,6 +1,5 @@
 package mage.cards.c;
 
-import mage.abilities.keyword.TransformAbility;
 import mage.abilities.mana.GreenManaAbility;
 import mage.abilities.mana.RedManaAbility;
 import mage.cards.CardSetInfo;
@@ -27,7 +26,6 @@ public final class CragcrownPathway extends ModalDoubleFacedCard {
 
         // {T}: Add {R}.
         this.getLeftHalfCard().addAbility(new RedManaAbility());
-        this.getLeftHalfCard().addAbility(new TransformAbility());
 
         // 2.
         // Timbercrown Pathway
diff --git a/Mage.Sets/src/mage/cards/t/TamiyoInquisitiveStudent.java b/Mage.Sets/src/mage/cards/t/TamiyoInquisitiveStudent.java
index 5573bd25466..e6d6683fe6a 100644
--- a/Mage.Sets/src/mage/cards/t/TamiyoInquisitiveStudent.java
+++ b/Mage.Sets/src/mage/cards/t/TamiyoInquisitiveStudent.java
@@ -3,6 +3,8 @@ package mage.cards.t;
 import mage.abilities.Ability;
 import mage.abilities.LoyaltyAbility;
 import mage.abilities.common.AttacksAllTriggeredAbility;
+import mage.abilities.common.AttacksTriggeredAbility;
+import mage.abilities.common.DrawNthCardTriggeredAbility;
 import mage.abilities.common.delayed.UntilYourNextTurnDelayedTriggeredAbility;
 import mage.abilities.dynamicvalue.DynamicValue;
 import mage.abilities.dynamicvalue.common.CardsInControllerLibraryCount;
@@ -11,16 +13,13 @@ import mage.abilities.effects.Effect;
 import mage.abilities.effects.OneShotEffect;
 import mage.abilities.effects.common.*;
 import mage.abilities.effects.common.continuous.BoostTargetEffect;
+import mage.abilities.effects.keyword.InvestigateEffect;
 import mage.abilities.effects.mana.AddManaOfAnyColorEffect;
+import mage.abilities.keyword.FlyingAbility;
 import mage.cards.Card;
+import mage.cards.CardSetInfo;
 import mage.cards.TransformingDoubleFacedCard;
 import mage.constants.*;
-import mage.abilities.common.AttacksTriggeredAbility;
-import mage.abilities.common.DrawNthCardTriggeredAbility;
-import mage.abilities.effects.keyword.InvestigateEffect;
-import mage.abilities.keyword.FlyingAbility;
-import mage.abilities.keyword.TransformAbility;
-import mage.cards.CardSetInfo;
 import mage.filter.StaticFilters;
 import mage.game.Game;
 import mage.game.command.emblems.TamiyoSeasonedScholarEmblem;
@@ -51,7 +50,6 @@ public final class TamiyoInquisitiveStudent extends TransformingDoubleFacedCard
         this.getLeftHalfCard().addAbility(new AttacksTriggeredAbility(new InvestigateEffect()));
 
         // When you draw your third card in a turn, exile Tamiyo, then return her to the battlefield transformed under her owner's control.
-        this.getLeftHalfCard().addAbility(new TransformAbility());
         this.getLeftHalfCard().addAbility(new DrawNthCardTriggeredAbility(
                 new ExileAndReturnSourceEffect(PutCards.BATTLEFIELD_TRANSFORMED, Pronoun.SHE),
                 false, 3