diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
index a9f1d56..ad6b321 100644
--- a/queries/perga/highlights.scm
+++ b/queries/perga/highlights.scm
@@ -1,4 +1,6 @@
-[ "fun" "λ" "forall" "∏" "axiom" ] @keyword
+[ "fun" "λ" "forall" "∏" ] @keyword
+(axiom) @keyword
+
 [ "->" "=>" "→" "⇒" "," ":=" ";" ":" ] @punctuation.delimiter
 
 [(star) (square)] @constant.builtin