1 files changed, 4 insertions, 3 deletions

diff --git a/safety.md b/safety.md
index 271edc1..8a03652 100644
--- a/safety.md
+++ b/safety.md
@@ -46,11 +46,12 @@ bounds checking, dubious-pointer checking
 

 ## Use after free

 

-`free(x);` not followed by `x = NULL;` is a compiler error

+`free(x);` not followed by `x = NULL;` is a compiler error.

+`owned` and `borrowed` keywords 

 

 # Uninitialized variables

 

-C already warns about these in most cases, so we're good.

+forbid them in syntax

 

 ## Null pointer dereference

 

@@ -58,7 +59,7 @@ dubious-pointer checking
 

 ## Wild pointers

 

-let C handle it

+dubious-pointer checking

 

 # Memory leak