diff --git a/Logic/Biconditional_Elimination.md b/Logic/Biconditional_Elimination.md
index 8374ee0..91e8d0e 100644
--- a/Logic/Biconditional_Elimination.md
+++ b/Logic/Biconditional_Elimination.md
@@ -1,7 +1,8 @@
 ---
 categories:
   - Logic 
-tags: [propositional-logic, ABBA]
+tags: [propositional-logic]
+
 ---
 
 Give that the biconditional means that if $P$ is the case, $Q$ is the case and if $Q$ is the case, $P$ must be the case, if we have $P \equiv Q$ and $P$, we can derive $Q$ and vice versa.