diff --git a/examples/01_simple_type_checking/01_simple_operations.py b/examples/01_simple_type_checking/01_simple_operations.py
index 8d3bc6c..a3ac707 100644
--- a/examples/01_simple_type_checking/01_simple_operations.py
+++ b/examples/01_simple_type_checking/01_simple_operations.py
@@ -2,3 +2,10 @@ a: int = 3
 b: int = 4
 
 c = a + b  # -> int
+
+c = "invalid"  # -> can't assign str to int variable
+
+d = True
+e = d + d
+
+f: float = a