diff --git a/ukm-semantics/main/encoding.md b/ukm-semantics/main/encoding.md
index bac22d1..a802f75 100644
--- a/ukm-semantics/main/encoding.md
+++ b/ukm-semantics/main/encoding.md
@@ -1,7 +1,8 @@
 ```k
 
-requires "encoding/syntax.md"
 requires "encoding/encoder.md"
+requires "encoding/impl.md"
+requires "encoding/syntax.md"
 
 module UKM-ENCODING
     imports private UKM-CALLDATA-ENCODER