diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
index 76d60f1..0fc6311 100644
--- a/queries/perga/highlights.scm
+++ b/queries/perga/highlights.scm
@@ -1,5 +1,4 @@
 [ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" ] @keyword
-(axiom) @keyword
 
 (preprocess
   (command) @keyword
@@ -17,6 +16,9 @@
 (definition
   name: (identifier) @function)
 
+(axiom
+  name: (identifier) @function)
+
 (binding
   (identifier) @function)