diff --git a/Logic/General_concepts/Soundness.md b/Logic/General_concepts/Soundness.md
index 0c78a73..11099e8 100644
--- a/Logic/General_concepts/Soundness.md
+++ b/Logic/General_concepts/Soundness.md
@@ -1,10 +1,10 @@
 ---
 categories:
-  - Mathematics
+  - Logic
 tags: [logic]
 ---
 
-### Soundness
+# Soundness
 
 Recall that in the definition of [deductive validity](Validity%20and%20entailment.md#validity) we do not say: an argument is valid iff if the premises _are true_ and the conclusion _is true_. We say _if it is possible for the premises to be true_. This is important: we are not interested in the actual truth of the premises or the conclusion.