diff --git a/examples/math/main.bl b/examples/math/main.bl
index 4e39b96..9a7a167 100644
--- a/examples/math/main.bl
+++ b/examples/math/main.bl
@@ -23,6 +23,10 @@ fn i_hate_this(a: F64): F64 {
     };
 }
 
+fn unit_function() {
+  let a: I32 = 4;
+}
+
 fn main(): I32 {
     add(4, subtract(5, 2))
 }
diff --git a/notes.txt b/notes.txt
index 1ae8c5b..2346f5a 100644
--- a/notes.txt
+++ b/notes.txt
@@ -28,14 +28,19 @@ class TypeUsage:
   arguments: Optional[List[Type]] # Specified if it is a function, this is how you tell if it's a function
 
 
+if / match return never if all blocks return never;
+blocks propagate never except at the function level;
+
 
 TODO:
 * ~Float Literals~
 * ~Block expression~
-* Return keyword
+* ~Return keyword ~
 * Structs
 * Generics
 * Enums
 * Methods
+* Arrays
+* Strings
 * Traits
 * Async