Thok stop casting question

[Xiodrade]

Alright well, the main function for Thoks stop casting was:

if (UnitExists("boss1") or UnitExists("target")) then
	if (UnitCastingInfo("boss1") == GetSpellInfo(138763) or UnitCastingInfo("target") == GetSpellInfo(137457) or UnitCastingInfo("boss1") == GetSpellInfo(143343)) then
		if (UnitCastingInfo("player") or UnitChannelInfo("player")) then
			RunMacroText("/stopcasting") 
			return false 
		end
	end
	return true
end

Which works 100% perfect

Now, if I'm correct, I should be able to add:

if (not UnitBuffID("player",31821) or not UnitBuffID("player",96267)) then

For devo and inner focus buff to make it look like

if (UnitExists("boss1") or UnitExists("target")) then
	if (UnitCastingInfo("boss1") == GetSpellInfo(138763) or UnitCastingInfo("target") == GetSpellInfo(137457) or UnitCastingInfo("boss1") == GetSpellInfo(143343)) then
		if (not UnitBuffID("player",31821) or not UnitBuffID("player",96267)) then
			if (UnitCastingInfo("player") or UnitChannelInfo("player")) then
				RunMacroText("/stopcasting") 
				return false 
			end
		end
		return true
	end
end

Correct? I can't test it in due to having already did him this week, so the main reason for this thread is to see if that would work, and if it's in the right spot. I mean, those 2 spells being added are pretty important considering that script just stops casting even when devo is out.