diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md
index 9b7a10f..93ddf51 100644
--- a/CppCoreGuidelines.md
+++ b/CppCoreGuidelines.md
@@ -20165,7 +20165,7 @@ Accessing through a pointer that doesn't point to anything is a major source of
 and very hard to avoid in many traditional C or C++ styles of programming.
 For example, a pointer may be uninitialized, the `nullptr`, point beyond the range of an array, or to a deleted object.
 
-See /docs folder for the initial design. The detailed formal rules are in progress (as of May 2017).
+[See the current design specification here.](https://github.com/isocpp/CppCoreGuidelines/docs/Lifetime.pdf)
 
 Lifetime safety profile summary:
 
diff --git a/docs/Lifetime.pdf b/docs/Lifetime.pdf
new file mode 100644
index 0000000..2239d04
Binary files /dev/null and b/docs/Lifetime.pdf differ
diff --git a/docs/Lifetimes I and II - v0.9.1.pdf b/docs/Lifetimes I and II - v0.9.1.pdf
deleted file mode 100644
index ed51bcd..0000000
Binary files a/docs/Lifetimes I and II - v0.9.1.pdf and /dev/null differ