added a few small notes and bullet about atomicity of transactions

presentation.md

@@ -9,7 +9,7 @@ transition: fade
 paginate: true
 ---
 
-# Declarative Distros
+# <!--fit--> Declarative Distros
 ![bg right 80%](nix.png)
 ![bg right 80%](guix.png)
 
@@ -39,6 +39,7 @@ While we will try to talk about generalities of declarative operating system par
 
 - Systems have a given configuration
 - Configuration can duplicate systems
+    - If you pin versions, you can make your system completely reproducible
 - Everything is isolated
 
 ---
@@ -53,6 +54,7 @@ While we will try to talk about generalities of declarative operating system par
 
 - Packages are built in isolated packages
 - No random spare files in file system
+    - Anything not being used by a profile is eligible for garbage-collection
 - All state is containted
     - Preserves state-less root
 
@@ -62,6 +64,8 @@ While we will try to talk about generalities of declarative operating system par
 
 - Reproducibility and Isolation ensure the ability to rollback
 - Always have some working system state
+- Since any transaction is atomic, it either works or doesn't
+    - Your system will never be left in a half updated state that is difficult to recover
 
 ---
 
@@ -169,8 +173,3 @@ $ readlink /home/tylerm/.guix-home/profile/bin/gcc
 - Uses contained environment
 - `guix shell <package>`
 - `nix shell -p <package>`
-
----
-
-### lori
-ipsum