diff --git a/xlang/example.rkt b/xlang/example.rkt
index 5fa4de1..71fc8c3 100644
--- a/xlang/example.rkt
+++ b/xlang/example.rkt
@@ -1,6 +1,8 @@
 #lang xlang
 
-(S K K K)
+((S K K K) 4 5)
 
+(K 5 6)
+(K 5 6)
 
-(K 5 6)
\ No newline at end of file
+(X K)
\ No newline at end of file