rename: EFFECT_FLAG_CANNOT_NEGATE -> EFFECT_FLAG_CAN_FORBIDDEN (#2394)

* rename to EFFECT_FLAG_CAN_FORBIDDEN * add Auxiliary.AddBanishRedirect

rename: EFFECT_FLAG_CANNOT_NEGATE -> EFFECT_FLAG_CAN_FORBIDDEN (#2394)
* rename to EFFECT_FLAG_CAN_FORBIDDEN * add Auxiliary.AddBanishRedirect
be2ac085 · Chen Bill · GitHub · 9600594a · be2ac085 · be2ac085
Commit be2ac085 authored Feb 09, 2024 by Chen Bill Committed by GitHub Feb 09, 2024
59 changed files
--- a/c10117149.lua
+++ b/c10117149.lua
@@ -7,7 +7,7 @@ function c10117149.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c10117149.splimit)
 	c:RegisterEffect(e2)

--- a/c11609969.lua
+++ b/c11609969.lua
@@ -7,7 +7,7 @@ function c11609969.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c11609969.splimit)
 	c:RegisterEffect(e2)

--- a/c13893596.lua
+++ b/c13893596.lua
@@ -34,13 +34,7 @@ function c13893596.initial_effect(c)
 	e4:SetValue(c13893596.atkval)
 	c:RegisterEffect(e4)
 	--redirect
-	local e5=Effect.CreateEffect(c)
-	e5:SetType(EFFECT_TYPE_SINGLE)
-	e5:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e5:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e5:SetCondition(c13893596.recon)
-	e5:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e5)
+	aux.AddBanishRedirect(c)
 end
 function c13893596.cfilter(c)
 	return not c:IsAbleToDeckOrExtraAsCost()
@@ -83,6 +77,3 @@ end
 function c13893596.atkval(e,c)
 	return Duel.GetMatchingGroupCount(Card.IsType,c:GetControler(),LOCATION_GRAVE,0,nil,TYPE_NORMAL)*1000
 end
-function c13893596.recon(e)
-	return e:GetHandler():IsFaceup()
-end
--- a/c15866454.lua
+++ b/c15866454.lua
@@ -5,7 +5,7 @@ function c15866454.initial_effect(c)
 	e1:SetCategory(CATEGORY_TOHAND)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
 	e1:SetCode(EVENT_FREE_CHAIN)
-	e1:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTarget(c15866454.target)
 	e1:SetOperation(c15866454.activate)
 	c:RegisterEffect(e1)

--- a/c16306932.lua
+++ b/c16306932.lua
@@ -8,7 +8,7 @@ function c16306932.initial_effect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTargetRange(1,0)
 	e1:SetTarget(c16306932.psplimit)
 	c:RegisterEffect(e1)

--- a/c17063599.lua
+++ b/c17063599.lua
@@ -6,7 +6,7 @@ function c17063599.initial_effect(c)
 	e1:SetCategory(CATEGORY_TOGRAVE)
 	e1:SetType(EFFECT_TYPE_FIELD+EFFECT_TYPE_TRIGGER_O)
 	e1:SetCode(EVENT_SPSUMMON_SUCCESS)
-	e1:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetRange(LOCATION_HAND)
 	e1:SetCountLimit(1,17063599)
 	e1:SetCondition(c17063599.spcon)
@@ -17,7 +17,7 @@ function c17063599.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetDescription(aux.Stringid(17063599,1))
 	e2:SetType(EFFECT_TYPE_SINGLE+EFFECT_TYPE_TRIGGER_O)
-	e2:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetCode(EVENT_SPSUMMON_SUCCESS)
 	e2:SetCountLimit(1,17063600)
 	e2:SetCondition(c17063599.actcon)

--- a/c17827173.lua
+++ b/c17827173.lua
@@ -13,13 +13,7 @@ function c17827173.initial_effect(c)
 	e1:SetOperation(c17827173.thop)
 	c:RegisterEffect(e1)
 	--redirect
-	local e2=Effect.CreateEffect(c)
-	e2:SetType(EFFECT_TYPE_SINGLE)
-	e2:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e2:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e2:SetCondition(c17827173.recon)
-	e2:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e2)
+	aux.AddBanishRedirect(c)
 	--to hand(self)
 	local e3=Effect.CreateEffect(c)
 	e3:SetDescription(aux.Stringid(17827173,1))
@@ -73,9 +67,6 @@ function c17827173.thop(e,tp,eg,ep,ev,re,r,rp)
 		end
 	end
 end
-function c17827173.recon(e)
-	return e:GetHandler():IsFaceup()
-end
 function c17827173.thcon2(e,tp,eg,ep,ev,re,r,rp)
 	local ec=eg:GetFirst()
 	return ec:IsControler(tp) and ec:IsRace(RACE_WINDBEAST)

--- a/c18563744.lua
+++ b/c18563744.lua
@@ -5,7 +5,7 @@ function c18563744.initial_effect(c)
 	e1:SetDescription(aux.Stringid(18563744,0))
 	e1:SetCategory(CATEGORY_ATKCHANGE+CATEGORY_DEFCHANGE)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
-	e1:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_DAMAGE_STEP+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_DAMAGE_STEP+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetCode(EVENT_FREE_CHAIN)
 	e1:SetHintTiming(TIMING_DAMAGE_STEP)
 	e1:SetCondition(aux.dscon)

--- a/c18940725.lua
+++ b/c18940725.lua
@@ -13,13 +13,7 @@ function c18940725.initial_effect(c)
 	e1:SetOperation(c18940725.thop)
 	c:RegisterEffect(e1)
 	--redirect
-	local e2=Effect.CreateEffect(c)
-	e2:SetType(EFFECT_TYPE_SINGLE)
-	e2:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e2:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e2:SetCondition(c18940725.recon)
-	e2:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e2)
+	aux.AddBanishRedirect(c)
 	--to hand(self)
 	local e3=Effect.CreateEffect(c)
 	e3:SetDescription(aux.Stringid(18940725,1))
@@ -74,9 +68,6 @@ function c18940725.thop(e,tp,eg,ep,ev,re,r,rp)
 		end
 	end
 end
-function c18940725.recon(e)
-	return e:GetHandler():IsFaceup()
-end
 function c18940725.thcon2(e,tp,eg,ep,ev,re,r,rp)
 	local ec=eg:GetFirst()
 	return ec:IsControler(tp) and ec:IsRace(RACE_WINDBEAST)

--- a/c19302550.lua
+++ b/c19302550.lua
@@ -7,7 +7,7 @@ function c19302550.initial_effect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTargetRange(1,0)
 	e1:SetTarget(c19302550.splimit)
 	c:RegisterEffect(e1)

--- a/c19619755.lua
+++ b/c19619755.lua
@@ -16,7 +16,7 @@ function c19619755.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c19619755.splimit)
 	c:RegisterEffect(e2)

--- a/c20773176.lua
+++ b/c20773176.lua
@@ -7,7 +7,7 @@ function c20773176.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c20773176.splimit)
 	c:RegisterEffect(e2)

--- a/c21495657.lua
+++ b/c21495657.lua
@@ -7,7 +7,7 @@ function c21495657.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c21495657.splimit)
 	c:RegisterEffect(e2)

--- a/c22211622.lua
+++ b/c22211622.lua
@@ -7,7 +7,7 @@ function c22211622.initial_effect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTargetRange(1,0)
 	e1:SetCondition(c22211622.splimcon)
 	e1:SetTarget(c22211622.splimit)

--- a/c22617205.lua
+++ b/c22617205.lua
@@ -7,7 +7,7 @@ function c22617205.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c22617205.splimit)
 	c:RegisterEffect(e2)

--- a/c23166823.lua
+++ b/c23166823.lua
@@ -8,7 +8,7 @@ function c23166823.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c23166823.splimit)
 	c:RegisterEffect(e2)

--- a/c28151978.lua
+++ b/c28151978.lua
@@ -5,7 +5,7 @@ function c28151978.initial_effect(c)
 	--splimit
 	local e1=Effect.CreateEffect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetTargetRange(1,0)

--- a/c28497830.lua
+++ b/c28497830.lua
@@ -43,7 +43,7 @@ function s.eqtg(e,tp,eg,ep,ev,re,r,rp,chk)
 	Duel.SetOperationInfo(0,CATEGORY_EQUIP,nil,1,0,LOCATION_MZONE)
 	c:RegisterFlagEffect(id,RESET_EVENT+RESETS_STANDARD+RESET_PHASE+PHASE_END,EFFECT_FLAG_OATH,1)
 	if Duel.GetLP(tp)<Duel.GetLP(1-tp) then
-		e:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_NEGATE)
+		e:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CAN_FORBIDDEN)
 	else e:SetProperty(EFFECT_FLAG_DELAY) end
 end
 function s.eqlimit(e,c)

--- a/c303660.lua
+++ b/c303660.lua
@@ -6,7 +6,7 @@ function c303660.initial_effect(c)
 	e1:SetCategory(CATEGORY_EQUIP)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
 	e1:SetCode(EVENT_FREE_CHAIN)
-	e1:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTarget(c303660.target)
 	e1:SetOperation(c303660.operation)
 	c:RegisterEffect(e1)

--- a/c37442336.lua
+++ b/c37442336.lua
@@ -18,7 +18,7 @@ function s.initial_effect(c)
 	e2:SetCategory(CATEGORY_DISABLE)
 	e2:SetType(EFFECT_TYPE_IGNITION)
 	e2:SetCountLimit(1)
-	e2:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_CARD_TARGET+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_MZONE)
 	e2:SetTarget(s.distg)
 	e2:SetOperation(s.disop)

--- a/c37991342.lua
+++ b/c37991342.lua
@@ -6,7 +6,7 @@ function c37991342.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c37991342.splimit)

--- a/c3806388.lua
+++ b/c3806388.lua
@@ -30,13 +30,7 @@ function s.initial_effect(c)
 	e2:SetOperation(s.spop2)
 	c:RegisterEffect(e2)
 	--redirect
-	local e3=Effect.CreateEffect(c)
-	e3:SetType(EFFECT_TYPE_SINGLE)
-	e3:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e3:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e3:SetCondition(s.recon)
-	e3:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e3)
+	aux.AddBanishRedirect(c)
 end
 function s.splimit(e,se,sp,st)
 	return se:IsHasType(EFFECT_TYPE_ACTIONS)
@@ -91,6 +85,3 @@ function s.spop2(e,tp,eg,ep,ev,re,r,rp)
 		Duel.SpecialSummon(tc,0,tp,tp,false,false,POS_FACEUP)
 	end
 end
-function s.recon(e)
-	return e:GetHandler():IsFaceup()
-end
--- a/c40318957.lua
+++ b/c40318957.lua
@@ -7,7 +7,7 @@ function c40318957.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c40318957.splimit)
 	c:RegisterEffect(e2)

--- a/c4059313.lua
+++ b/c4059313.lua
@@ -5,7 +5,7 @@ function c4059313.initial_effect(c)
 	local e1=Effect.CreateEffect(c)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
 	e1:SetCode(EVENT_FREE_CHAIN)
-	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetHintTiming(0,TIMINGS_CHECK_MONSTER)
 	e1:SetTarget(c4059313.target)
 	e1:SetOperation(c4059313.activate)

--- a/c40737112.lua
+++ b/c40737112.lua
@@ -24,13 +24,7 @@ function c40737112.initial_effect(c)
 	e2:SetOperation(c40737112.rmop)
 	c:RegisterEffect(e2)
 	--redirect
-	local e3=Effect.CreateEffect(c)
-	e3:SetType(EFFECT_TYPE_SINGLE)
-	e3:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e3:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e3:SetCondition(c40737112.recon)
-	e3:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e3)
+	aux.AddBanishRedirect(c)
 	if not c40737112.global_check then
 		c40737112.global_check=true
 		local ge1=Effect.CreateEffect(c)
@@ -82,6 +76,3 @@ function c40737112.rmop(e,tp,eg,ep,ev,re,r,rp)
 		Duel.Remove(bc,POS_FACEUP,REASON_EFFECT)
 	end
 end
-function c40737112.recon(e)
-	return e:GetHandler():IsFaceup()
-end
--- a/c42338879.lua
+++ b/c42338879.lua
@@ -10,13 +10,7 @@ function c42338879.initial_effect(c)
 	e1:SetOperation(c42338879.spop)
 	c:RegisterEffect(e1)
 	--redirect
-	local e2=Effect.CreateEffect(c)
-	e2:SetType(EFFECT_TYPE_SINGLE)
-	e2:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e2:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e2:SetCondition(c42338879.recon)
-	e2:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e2)
+	aux.AddBanishRedirect(c)
 end
 function c42338879.spcon(e,c)
 	if c==nil then return true end
@@ -37,6 +31,3 @@ function c42338879.spop(e,tp,eg,ep,ev,re,r,rp,c)
 	e1:SetReset(RESET_EVENT+0xff0000)
 	c:RegisterEffect(e1)
 end
-function c42338879.recon(e)
-	return e:GetHandler():IsFaceup()
-end
--- a/c42469671.lua
+++ b/c42469671.lua
@@ -6,7 +6,7 @@ function c42469671.initial_effect(c)
 	e1:SetCategory(CATEGORY_DESTROY+CATEGORY_DRAW)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
 	e1:SetCode(EVENT_FREE_CHAIN)
-	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetHintTiming(0,TIMINGS_CHECK_MONSTER)
 	e1:SetCountLimit(1,42469671+EFFECT_COUNT_CODE_OATH)
 	e1:SetCondition(c42469671.descon)

--- a/c44968459.lua
+++ b/c44968459.lua
@@ -5,7 +5,7 @@ function c44968459.initial_effect(c)
 	e1:SetDescription(aux.Stringid(44968459,0))
 	e1:SetCategory(CATEGORY_DRAW)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
-	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetCode(EVENT_FREE_CHAIN)
 	e1:SetCondition(c44968459.condition)
 	e1:SetTarget(c44968459.target)

--- a/c46035545.lua
+++ b/c46035545.lua
@@ -6,7 +6,7 @@ function c46035545.initial_effect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTargetRange(1,0)
 	e1:SetTarget(c46035545.splimit)
 	c:RegisterEffect(e1)

--- a/c46796664.lua
+++ b/c46796664.lua
@@ -7,7 +7,7 @@ function c46796664.initial_effect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTargetRange(1,0)
 	e1:SetTarget(c46796664.splimit)
 	c:RegisterEffect(e1)

--- a/c47017574.lua
+++ b/c47017574.lua
@@ -26,7 +26,7 @@ function c47017574.initial_effect(c)
 	e3:SetDescription(aux.Stringid(47017574,1))
 	e3:SetCategory(CATEGORY_DISABLE)
 	e3:SetType(EFFECT_TYPE_IGNITION)
-	e3:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e3:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e3:SetRange(LOCATION_MZONE)
 	e3:SetCountLimit(1)
 	e3:SetCondition(c47017574.discon)

--- a/c47705572.lua
+++ b/c47705572.lua
@@ -7,7 +7,7 @@ function c47705572.initial_effect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetTargetRange(1,0)
 	e1:SetTarget(c47705572.splimit)
 	c:RegisterEffect(e1)

--- a/c51194046.lua
+++ b/c51194046.lua
@@ -6,7 +6,7 @@ function c51194046.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c51194046.splimit)

--- a/c52296675.lua
+++ b/c52296675.lua
@@ -29,13 +29,7 @@ function c52296675.initial_effect(c)
 	e3:SetCondition(c52296675.hspcon)
 	c:RegisterEffect(e3)
 	--redirect
-	local e4=Effect.CreateEffect(c)
-	e4:SetType(EFFECT_TYPE_SINGLE)
-	e4:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e4:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e4:SetCondition(c52296675.recon)
-	e4:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e4)
+	aux.AddBanishRedirect(c,c52296675.recon)
 end
 function c52296675.drfilter(c)
 	return c:IsFaceup() and c:IsCode(52296675)
@@ -63,5 +57,6 @@ function c52296675.hspcon(e,c)
 	return ct==Duel.GetMatchingGroupCount(c52296675.drfilter,tp,LOCATION_EXTRA,0,nil) and Duel.GetLocationCountFromEx(tp,tp,nil,c)>0
 end
 function c52296675.recon(e)
-	return e:GetHandler():IsLocation(LOCATION_MZONE) and e:GetHandler():IsFaceup()
+	local c=e:GetHandler()
+	return c:IsLocation(LOCATION_MZONE) and c:IsFaceup()
 end
--- a/c54334420.lua
+++ b/c54334420.lua
@@ -13,13 +13,7 @@ function c54334420.initial_effect(c)
 	e1:SetOperation(c54334420.thop)
 	c:RegisterEffect(e1)
 	--redirect
-	local e2=Effect.CreateEffect(c)
-	e2:SetType(EFFECT_TYPE_SINGLE)
-	e2:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e2:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e2:SetCondition(c54334420.recon)
-	e2:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e2)
+	aux.AddBanishRedirect(c)
 	--to hand(self)
 	local e3=Effect.CreateEffect(c)
 	e3:SetDescription(aux.Stringid(54334420,1))
@@ -74,9 +68,6 @@ function c54334420.thop(e,tp,eg,ep,ev,re,r,rp)
 		end
 	end
 end
-function c54334420.recon(e)
-	return e:GetHandler():IsFaceup()
-end
 function c54334420.thcon2(e,tp,eg,ep,ev,re,r,rp)
 	local ec=eg:GetFirst()
 	return ec:IsControler(tp) and ec:IsRace(RACE_WINDBEAST)

--- a/c55106249.lua
+++ b/c55106249.lua
@@ -7,7 +7,7 @@ function c55106249.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c55106249.splimit)
 	c:RegisterEffect(e2)

--- a/c57777714.lua
+++ b/c57777714.lua
@@ -8,7 +8,7 @@ function c57777714.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c57777714.splimit)
 	c:RegisterEffect(e2)

--- a/c58016954.lua
+++ b/c58016954.lua
@@ -7,7 +7,7 @@ function c58016954.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c58016954.splimit)
 	c:RegisterEffect(e2)

--- a/c58990362.lua
+++ b/c58990362.lua
@@ -7,7 +7,7 @@ function c58990362.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c58990362.splimit)
 	c:RegisterEffect(e2)

--- a/c59094601.lua
+++ b/c59094601.lua
@@ -7,7 +7,7 @@ function s.initial_effect(c)
 	e1:SetCategory(CATEGORY_SPECIAL_SUMMON+CATEGORY_DRAW)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
 	e1:SetCode(EVENT_FREE_CHAIN)
-	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetHintTiming(0,TIMINGS_CHECK_MONSTER)
 	e1:SetCountLimit(1,id)
 	e1:SetTarget(s.target)
@@ -20,7 +20,7 @@ function s.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_QUICK_O)
 	e2:SetCode(EVENT_FREE_CHAIN)
 	e2:SetRange(LOCATION_GRAVE)
-	e2:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetHintTiming(0,TIMING_END_PHASE)
 	e2:SetCountLimit(1,id+o)
 	e2:SetCost(aux.bfgcost)

--- a/c64496451.lua
+++ b/c64496451.lua
@@ -6,7 +6,7 @@ function c64496451.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c64496451.splimit)

--- a/c65518099.lua
+++ b/c65518099.lua
@@ -6,7 +6,7 @@ function c65518099.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c65518099.splimit)

--- a/c68679595.lua
+++ b/c68679595.lua
@@ -9,7 +9,7 @@ function c68679595.initial_effect(c)
 	e1:SetCategory(CATEGORY_EQUIP)
 	e1:SetType(EFFECT_TYPE_IGNITION)
 	e1:SetRange(LOCATION_MZONE)
-	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetCountLimit(1)
 	e1:SetCost(c68679595.eqcost)
 	e1:SetTarget(c68679595.eqtg)

--- a/c7279373.lua
+++ b/c7279373.lua
@@ -5,7 +5,7 @@ function c7279373.initial_effect(c)
 	--splimit
 	local e1=Effect.CreateEffect(c)
 	e1:SetType(EFFECT_TYPE_FIELD)
-	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
 	e1:SetRange(LOCATION_PZONE)
 	e1:SetTargetRange(1,0)

--- a/c7373632.lua
+++ b/c7373632.lua
@@ -4,7 +4,7 @@ function c7373632.initial_effect(c)
 	local e1=Effect.CreateEffect(c)
 	e1:SetCategory(CATEGORY_ATKCHANGE+CATEGORY_DEFCHANGE)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
-	e1:SetProperty(EFFECT_FLAG_DAMAGE_STEP+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_DAMAGE_STEP+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetCode(EVENT_FREE_CHAIN)
 	e1:SetTarget(c7373632.target)
 	e1:SetOperation(c7373632.activate)

--- a/c74605254.lua
+++ b/c74605254.lua
@@ -7,7 +7,7 @@ function c74605254.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c74605254.splimit)
 	c:RegisterEffect(e2)

--- a/c77312273.lua
+++ b/c77312273.lua
@@ -30,13 +30,7 @@ function s.initial_effect(c)
 	e2:SetOperation(s.spop2)
 	c:RegisterEffect(e2)
 	--redirect
-	local e3=Effect.CreateEffect(c)
-	e3:SetType(EFFECT_TYPE_SINGLE)
-	e3:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e3:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e3:SetCondition(s.recon)
-	e3:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e3)
+	aux.AddBanishRedirect(c)
 end
 function s.splimit(e,se,sp,st)
 	return se:IsHasType(EFFECT_TYPE_ACTIONS)
@@ -91,6 +85,3 @@ function s.spop2(e,tp,eg,ep,ev,re,r,rp)
 		Duel.SpecialSummon(tc,0,tp,tp,false,false,POS_FACEUP)
 	end
 end
-function s.recon(e)
-	return e:GetHandler():IsFaceup()
-end
--- a/c79383919.lua
+++ b/c79383919.lua
@@ -25,7 +25,7 @@ function c79383919.target(e,tp,eg,ep,ev,re,r,rp,chk)
 	if chk==0 then return true end
 	if e:IsHasType(EFFECT_TYPE_ACTIVATE)
 		and Duel.IsExistingMatchingCard(c79383919.filter,tp,LOCATION_SZONE,0,1,nil) then
-		e:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+		e:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	else
 		e:SetProperty(0)
 	end

--- a/c79868386.lua
+++ b/c79868386.lua
@@ -6,7 +6,7 @@ function c79868386.initial_effect(c)
 	e1:SetCategory(CATEGORY_DESTROY+CATEGORY_DISABLE)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
 	e1:SetCode(EVENT_FREE_CHAIN)
-	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetHintTiming(0,TIMINGS_CHECK_MONSTER)
 	e1:SetCountLimit(1,79868386+EFFECT_COUNT_CODE_OATH)
 	e1:SetCondition(c79868386.condition)

--- a/c80433039.lua
+++ b/c80433039.lua
@@ -13,13 +13,7 @@ function c80433039.initial_effect(c)
 	e1:SetOperation(c80433039.rmop)
 	c:RegisterEffect(e1)
 	--redirect
-	local e2=Effect.CreateEffect(c)
-	e2:SetType(EFFECT_TYPE_SINGLE)
-	e2:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
-	e2:SetProperty(EFFECT_FLAG_CANNOT_DISABLE)
-	e2:SetCondition(c80433039.recon)
-	e2:SetValue(LOCATION_REMOVED)
-	c:RegisterEffect(e2)
+	aux.AddBanishRedirect(c)
 	--to hand(self)
 	local e3=Effect.CreateEffect(c)
 	e3:SetDescription(aux.Stringid(80433039,1))
@@ -70,9 +64,6 @@ function c80433039.rmop(e,tp,eg,ep,ev,re,r,rp)
 		end
 	end
 end
-function c80433039.recon(e)
-	return e:GetHandler():IsFaceup()
-end
 function c80433039.thcon(e,tp,eg,ep,ev,re,r,rp)
 	local ec=eg:GetFirst()
 	return ec:IsControler(tp) and ec:IsRace(RACE_WINDBEAST)

--- a/c84388461.lua
+++ b/c84388461.lua
@@ -7,7 +7,7 @@ function c84388461.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c84388461.splimit)
 	c:RegisterEffect(e2)

--- a/c85182315.lua
+++ b/c85182315.lua
@@ -7,7 +7,7 @@ function s.initial_effect(c)
 	e1:SetCategory(CATEGORY_SPECIAL_SUMMON)
 	e1:SetType(EFFECT_TYPE_ACTIVATE)
 	e1:SetCode(EVENT_FREE_CHAIN)
-	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e1:SetHintTiming(0,TIMINGS_CHECK_MONSTER)
 	e1:SetCountLimit(1,id)
 	e1:SetTarget(s.target)
@@ -20,7 +20,7 @@ function s.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD+EFFECT_TYPE_TRIGGER_O)
 	e2:SetCode(EVENT_RELEASE)
 	e2:SetRange(LOCATION_GRAVE)
-	e2:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_DELAY+EFFECT_FLAG_CANNOT_INACTIVATE+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetCountLimit(1,id+o)
 	e2:SetCondition(s.rmcon)
 	e2:SetCost(aux.bfgcost)

--- a/c87588741.lua
+++ b/c87588741.lua
@@ -6,7 +6,7 @@ function c87588741.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c87588741.splimit)

--- a/c90885155.lua
+++ b/c90885155.lua
@@ -6,7 +6,7 @@ function c90885155.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c90885155.splimit)

--- a/c91907707.lua
+++ b/c91907707.lua
@@ -6,7 +6,7 @@ function c91907707.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c91907707.splimit)

--- a/c95401059.lua
+++ b/c95401059.lua
@@ -7,7 +7,7 @@ function c95401059.initial_effect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c95401059.splimit)
 	c:RegisterEffect(e2)

--- a/c96223501.lua
+++ b/c96223501.lua
@@ -6,7 +6,7 @@ function c96223501.initial_effect(c)
 	local e2=Effect.CreateEffect(c)
 	e2:SetType(EFFECT_TYPE_FIELD)
 	e2:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
-	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CANNOT_NEGATE)
+	e2:SetProperty(EFFECT_FLAG_PLAYER_TARGET+EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
 	e2:SetRange(LOCATION_PZONE)
 	e2:SetTargetRange(1,0)
 	e2:SetTarget(c96223501.splimit)

--- a/constant.lua
+++ b/constant.lua
@@ -312,7 +312,7 @@ EFFECT_FLAG_IGNORE_RANGE	=0x0020		--影响所有区域的卡（大宇宙）
 EFFECT_FLAG_ABSOLUTE_TARGET	=0x0040		--Target Range固定為某個玩家的視角所見的自己/對方(SetAbsoluteRange()專用)
 EFFECT_FLAG_IGNORE_IMMUNE	=0x0080		--无视效果免疫
 EFFECT_FLAG_SET_AVAILABLE	=0x0100		--裡側狀態可發動的效果、影响场上里侧的卡的永續型效果
-EFFECT_FLAG_CANNOT_NEGATE	=0x0200		--含有"此效果不會被無效"的敘述
+EFFECT_FLAG_CAN_FORBIDDEN	=0x0200		--可被禁止令停止適用的效果（與EFFECT_FLAG_CANNOT_DISABLE並用）
 EFFECT_FLAG_CANNOT_DISABLE	=0x0400		--效果不会被无效
 EFFECT_FLAG_PLAYER_TARGET	=0x0800		--含有"以玩家为对象"的特性（精靈之鏡）、影響玩家的永續型效果(SetTargetRange()改成指定玩家)
 EFFECT_FLAG_BOTH_SIDE		=0x1000		--双方都能使用（部分场地，弹压）

--- a/utility.lua
+++ b/utility.lua
@@ -1524,3 +1524,23 @@ function Auxiliary.GiveUpNormalDraw(e,tp,property)
 	Duel.RegisterEffect(e1,tp)
 	Duel.RegisterFlagEffect(tp,FLAG_ID_NO_NORMAL_DRAW,RESET_PHASE+PHASE_DRAW,property,1)
 end
+---If this face-up card would leave the field, banish it instead.
+---@param c Card
+---@param condition? function
+function Auxiliary.AddBanishRedirect(c,condition)
+	if type(condition)~='function' then
+		condition=Auxiliary.BanishRedirectCondition
+	end
+	local e1=Effect.CreateEffect(c)
+	e1:SetType(EFFECT_TYPE_SINGLE)
+	e1:SetCode(EFFECT_LEAVE_FIELD_REDIRECT)
+	e1:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_CAN_FORBIDDEN)
+	e1:SetCondition(condition)
+	e1:SetValue(LOCATION_REMOVED)
+	c:RegisterEffect(e1)
+end
+---
+---@param e Effect
+function Auxiliary.BanishRedirectCondition(e)
+	return e:GetHandler():IsFaceup()
+end