diff --git a/day04/sol.ivy b/day04/sol.ivy
index a4488df..48310ab 100644
--- a/day04/sol.ivy
+++ b/day04/sol.ivy
@@ -8,10 +8,10 @@ op r contains s = (r[1] <= s[1]) and (s[2] <= r[2])
 op contains x = (x[1 2] contains x[3 4]) or (x[3 4] contains x[1 2])
 op overlaps x = (x[1 2] overlaps x[3 4])
 
-#1 3 overlaps 4 5
-#1 5 overlaps 2 7
-#contains 1 2 3 4
-#contains 5 10 7 8
+#1 3 overlaps 4 5  # -> 0
+#1 5 overlaps 2 7  # -> 1
+#contains 1 2 3 4  # -> 0
+#contains 5 10 7 8 # -> 1
 
 +/ contains transp sample
 +/ contains transp input