diff --git a/docs/rfc/003-imports-stabilization.md b/docs/rfc/003-imports-stabilization.md
index 6f1cd1fe81..0b85d53105 100644
--- a/docs/rfc/003-imports-stabilization.md
+++ b/docs/rfc/003-imports-stabilization.md
@@ -6,7 +6,7 @@ The Aleo Team.
 
 ## Status
 
-FINAL
+IMPLEMENTED
 
 # Summary
 
diff --git a/docs/rfc/006-arrays-without-size.md b/docs/rfc/006-arrays-without-size.md
index 25185edee6..002f057f03 100644
--- a/docs/rfc/006-arrays-without-size.md
+++ b/docs/rfc/006-arrays-without-size.md
@@ -6,7 +6,7 @@ The Aleo Team.
 
 ## Status
 
-DRAFT
+IMPLEMENTED
 
 # Summary
 
@@ -149,3 +149,7 @@ None.
 # Alternatives
 
 None.
+
+# Implementation Decisions
+
+For the length of an array, we decided on `<expression>.len()`, where `<expression>` is any expression of array type.
diff --git a/docs/rfc/007-type-aliases.md b/docs/rfc/007-type-aliases.md
index ec424d4643..514a8d8323 100644
--- a/docs/rfc/007-type-aliases.md
+++ b/docs/rfc/007-type-aliases.md
@@ -6,7 +6,7 @@ The Aleo Team.
 
 ## Status
 
-DRAFT
+IMPLEMENTED
 
 # Summary
 
diff --git a/docs/rfc/008-built-in-declarations.md b/docs/rfc/008-built-in-declarations.md
index 2aca26f740..bee13d00c6 100644
--- a/docs/rfc/008-built-in-declarations.md
+++ b/docs/rfc/008-built-in-declarations.md
@@ -6,7 +6,7 @@ The Aleo Team.
 
 ## Status
 
-DRAFT
+IMPLEMENTED
 
 ## Summary
 
diff --git a/docs/rfc/009-bit-byte-conversions.md b/docs/rfc/009-bit-byte-conversions.md
index b582ae0997..98f587ae59 100644
--- a/docs/rfc/009-bit-byte-conversions.md
+++ b/docs/rfc/009-bit-byte-conversions.md
@@ -6,7 +6,7 @@ The Aleo Team.
 
 ## Status
 
-DRAFT
+FINAL
 
 # Summary