diff -r 1bb5e4955d4d -r 4b1c96ab1c57 hws/hw02.tex
--- a/hws/hw02.tex	Fri Oct 14 00:32:13 2022 +0100
+++ b/hws/hw02.tex	Fri Oct 14 12:16:07 2022 +0100
@@ -123,7 +123,7 @@
       (b) binary numbers. Hint: Observe that the empty string
       is not a number. Also observe that leading 0s are
       normally not written---for example the JSON format for numbers
-      explicitly forbids this.
+      explicitly forbids this. So 007 is not a number according to JSON.
 
       \solution{Just numbers without leading 0s: $0 + (1..9)\cdot(0..1)^*$;
         can be extended to decimal; similar for binary numbers